NASA formal methods : 13th international symposium, NFM 2021, Virtual Event, May 24-28, 2021 : proceedings /
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...
Corporate Author: | |
---|---|
Other Authors: | , , , , |
Format: | Book |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2021
Cham, Switzerland : Springer, [2021] |
Edition: | 1st ed. 2021 |
Series: | Computer Science (SpringerNature-11645)
LNCS sublibrary Programming and software engineering 12673 Programming and Software Engineering ; 12673 |
Subjects: |