Formal methods : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings /
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections...
| Corporate Author: | |
|---|---|
| Other Authors: | , , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2021
|
| Series: | LNCS sublibrary Programming and software engineering.
Lecture notes in computer science ; 13047 Lecture notes in computer science Formal methods. |
| Subjects: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Stanford University
| Call Number: |
INTERNET RESOURCE |
|---|