default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNASA Formal Methods (NFM)
17th NFM 2025: Williamsburg, VA, USA
- Aaron Dutle
, Laura R. Humphrey, Laura Titolo:
NASA Formal Methods - 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings. Lecture Notes in Computer Science 15682, Springer 2025, ISBN 978-3-031-93705-7 [contents]
16th NFM 2024: Moffett Field, CA, USA
- Nathaniel Benz, Divya Gopinath, Nija Shi:
NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings. Lecture Notes in Computer Science 14627, Springer 2024, ISBN 978-3-031-60697-7 [contents]
15th NFM 2023: Houston, TX, USA
- Kristin Yvonne Rozier, Swarat Chaudhuri:
NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings. Lecture Notes in Computer Science 13903, Springer 2023, ISBN 978-3-031-33169-5 [contents]
14th NFM 2022: Pasadena, CA, USA
- Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez:
NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings. Lecture Notes in Computer Science 13260, Springer 2022, ISBN 978-3-031-06772-3 [contents]
13th NFM 2021 [virtual]
- Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez:
NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. Lecture Notes in Computer Science 12673, Springer 2021, ISBN 978-3-030-76383-1 [contents] - José Proença, Andrei Paskevich:
Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021. EPTCS 338, 2021 [contents]
12th NFM 2020: Moffett Field, CA, USA
- Ritchie Lee, Susmit Jha, Anastasia Mavridou:
NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Lecture Notes in Computer Science 12229, Springer 2020, ISBN 978-3-030-55753-9 [contents]
11th NFM 2019: Houston, TX, USA
- Julia M. Badger, Kristin Yvonne Rozier:
NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Lecture Notes in Computer Science 11460, Springer 2019, ISBN 978-3-030-20651-2 [contents]
10th NFM 2018: Newport News, VA, USA
- Aaron Dutle, César A. Muñoz, Anthony Narkawicz:
NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Lecture Notes in Computer Science 10811, Springer 2018, ISBN 978-3-319-77934-8 [contents]
9th NFM 2017: Moffett Field, CA, USA
- Clark W. Barrett, Misty D. Davies, Temesghen Kahsai:
NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Lecture Notes in Computer Science 10227, 2017, ISBN 978-3-319-57287-1 [contents] - Bruno Dutertre, Natarajan Shankar:
Automated Formal Methods, AFM@NFM 2017, Moffett Field, CA, USA, May 19-20, 2017. Kalpa Publications in Computing 5, EasyChair 2018 [contents]
8th NFM 2016: Minneapolis, MN, USA
- Sanjai Rayadurgam, Oksana Tkachuk:
NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Lecture Notes in Computer Science 9690, Springer 2016, ISBN 978-3-319-40647-3 [contents]
7th NFM 2015: Pasadena, CA, USA
- Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi:
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Lecture Notes in Computer Science 9058, Springer 2015, ISBN 978-3-319-17523-2 [contents]
6th NFM 2014: Houston, TX, USA
- Julia M. Badger, Kristin Yvonne Rozier:
NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings. Lecture Notes in Computer Science 8430, Springer 2014, ISBN 978-3-319-06199-3 [contents]
5th NFM 2013: Moffett Field, CA, USA
- Guillaume Brat, Neha Rungta, Arnaud Venet:
NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Lecture Notes in Computer Science 7871, Springer 2013, ISBN 978-3-642-38087-7 [contents]
4th NFM 2012: Norfolk, VA, USA
- Alwyn Goodloe, Suzette Person:
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]
3rd NFM 2011: Pasadena, CA, USA
- Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi:
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]
2nd NFM 2010: Washington, DC, USA
- César A. Muñoz:
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]
1st NFM 2009: Moffett Field, California, USA
- Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu:
First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. NASA Conference Proceedings NASA/CP-2009-215407, 2009 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
