Event Beta

Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings

Name: Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings
Start: 2010-04-13
End: 2010-04-15
Location: Washington, D.C.

NFM

Date: 2010-04-13/15
Place: Washington, D.C., United States on the map
Series: NASA Formal Methods Symposium
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e11m191

Proceedings

Title	DOI	Year	Record
Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings NASA Conference Proceedings NASA/CP-2010-216215		2010	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/nfm2010` · page
dblp	`https://dblp.org/db/conf/nfm/nfm2010`

Cite

Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings. confref identifier e11m191. https://id.confref.org/event/e11m191

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.