NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
by Alwyn Goodloe, Suzette Person Paperback 2012
- Author: Alwyn Goodloe, Suzette Person
- ISBN 13: 9783642288906
- ISBN 10: 3642288901
- Publication Year: 2012
- Language: English
Specifications
Index-103642288901
LanguageEnglish
Index-139783642288906
Period-
Class Track-
Publisher- (2012)
Pages-