Event Beta
First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.
NFM 2009NFM
- Date
- 2009-04-06/08
- Place
- Moffett Federal Airfield, United States on the map
- Series
- NASA Formal Methods Symposium
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science, formal methods
- Identifier
https://id.confref.org/event/e10hjpw
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. NASA Conference Proceedings NASA/CP-2009-215407 | 2009 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| confref portal (2020) | |
|---|---|
| Wikidata | |
| dblp |
Cite
First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.. confref identifier e10hjpw. https://id.confref.org/event/e10hjpw
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.