NASA Formal Methods
NFM @ NASA
4. NFM 2012: Norfolk, VA, USA
Alwyn Goodloe, Suzette Person (Eds.):
NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings.
Lecture Notes in Computer Science 7226 Springer 2012, ISBN 978-3-642-28890-6
Contents 
3. NFM 2011: Pasadena, CA, USA
Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (Eds.):
NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings.
Lecture Notes in Computer Science 6617 Springer 2011, ISBN 978-3-642-20397-8
Contents
2. NFM 2010: Washington, DC, USA
César Muñoz (Ed.):
Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings.
NASA Conference Proceedings NASA/CP-2010-216215 2010
Contents
1. NFM 2009: Moffett Field, California, USA
Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu (Eds.):
First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.
NASA Conference Proceedings NASA/CP-2009-215407 2009
Contents
Last update Tue May 21 00:01:04 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
