NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings (Lecture Notes in Computer Science, Band 9690)

Proceedings

von: Sanjai Rayadurgam · Oksana Tkachuk

Taschenbuch

ISBN: 978-3-319-40647-3

ISBN-10: 3-319-40647-7

Springer · 2016