NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science, Band 6617)

Proceedings

von: Mihaela Bobaru · Klaus Havelund · Gerard Holzmann · Rajeev Joshi

Taschenbuch

ISBN-13: 978-3-642-20397-8

ISBN-10: 3-642-20397-3

Springer · 2011
S. auch:
2015TaschenbuchNASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Lecture Notes in Computer Science, Band 9058)