Concise Guide to Software Verification. From Model Checking to Annotation Checking
Book information
Similar books
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
2023 · RAR
Concise Guide to Software Verification: From Model Checking to Annotation Checking
2023 · PDF
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
2021 · EPUB
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
2021 · PDF
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
2019 · PDF
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
2018 · PDF
Tools and Algorithms for the Construction and Analysis of Systems
2018 · PDF
Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
2017 · PDF