NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings (Lecture Notes in Computer Science, Band 7871)

Proceedings

von: Guillaume Brat · Neha Rungta · Arnaud Venet

Taschenbuch

ISBN: 978-3-642-38087-7

ISBN-10: 3-642-38087-5

Springer · 2013