NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings (Lecture Notes in Computer Science, Band 7226)

Proceedings

von: Alwyn Goodloe · Suzette Person

Taschenbuch

EAN=ISBN-13: 978-3-642-28890-6

ISBN-10: 3-642-28890-1

Springer · 2012