@article{1446896,
      note = {International conference proceedings.},
      author = {Deshmukh, Jyotirmoy, and Havelund, Klaus, and Perez, Ivan},
      url = {http://library.usi.edu/record/1446896},
      title = {NASA formal methods : 14th international symposium, NFM  2022, Pasadena, CA, USA, May 24-27, 2022 : proceedings /.  NFM (Symposium)},
      abstract = {This book constitutes the proceedings of the 14th  International Symposium on NASA Formal Methods, NFM 2022,  held in Pasadena, USA, during May 24-27, 2022. The 33 full  and 6 short papers presented in this volume were carefully  reviewed and selected from 118submissions. The volume also  contains 6 invited papers. The papers deal with advances in  formal methods, formal methods techniques, and formal  methods in practice. The focus on topics such as  interactive and automated theorem proving; SMT and SAT  solving; model checking; use of machine learning and  probabilistic reasoning in formal methods; formal methods  and graphical modeling languages such as SysML or UML;  usability of formal method tools and application in  industry, etc. .},
      doi = {https://doi.org/10.1007/978-3-031-06773-0},
      recid = {1446896},
      pages = {1 online resource :},
}