NASA formal methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings /

NASA formal methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings /

Show other versions (1)

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021. The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide...

Full description

Bibliographic Details
Corporate Author: NFM (Symposium) Online)
Other Authors: Saniván (Editor), Dutle, Aaron Michael (Editor), Moscato, Mariano M. (Editor), Muñoz, César A., 1968- (Editor), Muñoz, César A., 1968- (Editor), Perez, Ivan (Editor), Titolo, Laura (Editor)
Format: Conference Proceeding Book
Language:English
Published: Cham : Springer, [2021]
Series:Lecture notes in computer science ; 12673
Subjects:
Formal methods (Computer science) > Congresses
Méthodes formelles (Informatique) > Congrès
Formal methods (Computer science)
Electronic books
Conference papers and proceedings

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE

Similar Items