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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Talks

Invited Tutorials

Regular Papers

Tool Papers