Home Advanced Search
Advanced Search - Page 1
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings (Lecture Notes in Computer Science)
- EPUB
- English
- Year: 2021
- Author: Gwen Salaün (editor), Anton Wijs (editor)
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
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
- English
- Year: 2019
- Author: Peter Csaba Ölveczky, Gwen Salaün
Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
- English
- Year: 2018
- Author: Manuel Mazzara, Iulian Ober, Gwen Salaün
Canadian Insurance Claims Directory 2013: 81st Annual Edition
- English
- Year: 2016
- Author: Gwen Peroni (editor)
Canadian Insurance Claims Directory 2012: 80th Annual Edition
- English
- Year: 2016
- Author: Gwen Peroni (editor)