Special issue: NASA Formal Methods Symposium 2010 [... (NFM 2010) held at NASA Headquarters, in Washington, D.C., USA, April 13 - 15, 2010]

Bibliographische Detailangaben

Körperschaft:	USA National Aeronautics and Space Administration (BerichterstatterIn)
Weitere Verfasser:	Muñoz, César A. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Heidelberg Springer 2011
Schriftenreihe:	Innovations in systems and software engineering 7.2011,2
Schlagworte:	Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!