Languages
NFM (Symposium) (2019 :)
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings /
by:
NFM (Symposium) (2019 :); Badger, Julia M.; Rozier, Kristin Yvonne.; SpringerLink (Online service)
(Electronic resources)