NASA Formal Methods: Third Inteational Symposium,

NASA Formal Methods: Third Inteational Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Hardcover: 536 pages

Publisher: Springer (April 6, 2011)

Language: English

ISBN-10: 3642203973