NASA Formal Methods
Subtitle: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Publisher: Springer
Published: 2011
Language: eng
ISBN-13: 9783642203985