Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

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

TitleDOIYearRecord
First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.
NASA Conference Proceedings NASA/CP-2009-215407
2009dblp

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

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.