Home Advanced Search
Advanced Search - Page 1
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
- EPUB
- English
- Year: 2021
- Author: Marieke Huisman, Corina Păsăreanu, Naijun Zhan
Concise Guide to Software Verification. From Model Checking to Annotation Checking
- English
- Year: 2023
- Author: Marieke Huisman, Anton Wijs
Concise Guide to Software Verification: From Model Checking to Annotation Checking
- English
- Year: 2023
- Author: Marieke Huisman, Anton Wijs
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
- RAR
- English
- Year: 2023
- Author: Marieke Huisman, Anton Wijs
Concise Guide to Software Verification : From Model Checking to Annotation Checking
- EPUB
- English
- Year: 2023
- Author: Marieke Huisman; Anton Wijs
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
- English
- Year: 2018
- Author: Dirk Beyer, Marieke Huisman
Tools and Algorithms for the Construction and Analysis of Systems
- English
- Year: 2018
- Author: Dirk Beyer, Marieke Huisman
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
- English
- Year: 2018
- Author: Cliff Jones, Ji Wang, Naijun Zhan
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
- English
- Year: 2021
- Author: Radu Calinescu (editor), Corina S. Păsăreanu (editor)
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science, 13487)
- English
- Year: 2022
- Author: Jan Friso Groote (editor), Marieke Huisman (editor)