Normal view MARC view

NFM (Symposium) (11th : 2019 : Houston, Tex.) (Meeting Name)

Number of records used in: 1

Preferred form: NFM (Symposium) (11th : 2019 : Houston, Tex.)

Machine generated authority record.

Work cat.: (AT-ISTA): NFM (Symposium) (11th : 2019 : Houston, Tex.), NASA Formal Methods :