NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Lecture Notes in Computer Science, Band 10227)

Proceedings

von: Clark Barrett · Misty Davies · Temesghen Kahsai

Taschenbuch

ISBN: 978-3-319-57287-1

ISBN-10: 3-319-57287-3

Springer · 2017
S. auch (eventuell von anderen Autoren):
2013TaschenbuchNASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Lecture Notes in Computer Science, Band 7871)