NASA Formal Methods
Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
- Editors
- (view affiliations)
Conference proceedings
NFM 2011
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6617)