NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings /

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 invi...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Deshmukh, Jyotirmoy V. (Editor), Havelund, Klaus (Editor), Perez, Ivan (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2022.
Edition:	1st ed. 2022.
Series:	Lecture Notes in Computer Science, 13260
Subjects:	Software engineering. Software Engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book