NASA Formal Methods
5. NFM 2013: Moffett Field, CA, USA
Guillaume Brat, Neha Rungta, Arnaud Venet (Eds.): NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7871 ISBN 978-3-642-38087-7 [ contents ]
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. Springer 2012 Lecture Notes in Computer Science 7226 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. Springer 2011 Lecture Notes in Computer Science 6617 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. 2010 NASA Conference ProceedingsNASA/CP-2010-216215 [ 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. 2009 NASA Conference ProceedingsNASA/CP-2009-215407 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team