NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings /

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with adva...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Rozier, Kristin Yvonne (Editor), Chaudhuri, Swarat (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Lecture Notes in Computer Science, 13903
Subjects:	Software engineering. Computer science. Computer engineering. Computer networks . Artificial intelligence. Computer simulation. Software Engineering. Theory of Computation. Computer Engineering and Networks. Artificial Intelligence. Computer Modelling.
Online Access:	https://doi.org/10.1007/978-3-031-33170-1
Tags:	Add Tag No Tags, Be the first to tag this record!