NASA Formal Methods
Subtitle: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
Publisher: Springer
Published: Apr 11, 2012
Format: paperback
Number of pages: 480
ISBN-13: 9783642288920
Notes: Source title: NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings