Book titles in this series

  1. NASA Formal Methods

    11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

    Editors:
    • Julia M. Badger
    • Kristin Yvonne Rozier
    • Copyright: 2019

    Available Renditions

    • Soft cover

  2. Integrated Formal Methods

    14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

    Editors:
    • Carlo A. Furia
    • Kirsten Winter
    • Copyright: 2018

    Available Renditions

    • Soft cover

  3. Formal Methods

    22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

    Editors:
    • Klaus Havelund
    • Jan Peleska
    • Bill Roscoe
    • Erik de Vink
    • Copyright: 2018

    Available Renditions

    • Soft cover

  4. Software Engineering and Formal Methods

    16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

    Editors:
    • Einar Broch Johnsen
    • Ina Schaefer
    • Copyright: 2018

    Available Renditions

    • Soft cover

  5. NASA Formal Methods

    10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

    Editors:
    • Aaron Dutle
    • César Muñoz
    • Anthony Narkawicz
    • Copyright: 2018

    Available Renditions

    • Soft cover

  7. Integrated Formal Methods

    13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

    Editors:
    • Nadia Polikarpova
    • Steve Schneider
    • Copyright: 2017

    Available Renditions

    • Soft cover

  8. Software Engineering and Formal Methods

    15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

    Editors:
    • Alessandro Cimatti
    • Marjan Sirjani
    • Copyright: 2017

    Available Renditions

    • Soft cover

  9. NASA Formal Methods

    9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

    Editors:
    • Clark Barrett
    • Misty Davies
    • Temesghen Kahsai
    • Copyright: 2017

    Available Renditions

    • Soft cover

  10. FM 2016: Formal Methods

    21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

    Editors:
    • John Fitzgerald
    • Constance Heitmeyer
    • Stefania Gnesi
    • Anna Philippou
    • Copyright: 2016

    Available Renditions

    • Soft cover