Home Advanced Search

Advanced Search - Page 1

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Dragan Bošnački, Anton Wijs (eds.)
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Dennis Dams (auth.), Dragan Bošnački, Stefan Edelkamp (eds.)
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (eds.)
SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Dragan Bošnački, Dennis Dams, Leszek Holenderski (auth.), Klaus Havelund, John Penix, Willem Visser (eds.)
Concise Guide to Software Verification : From Model Checking to Annotation Checking
  • EPUB
  • English
  • Year: 2023
  • Author: Marieke Huisman; Anton Wijs
Concise Guide to Software Verification: From Model Checking to Annotation Checking
  • PDF
  • 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
  • PDF
  • English
  • Year: 2023
  • Author: Marieke Huisman, Anton Wijs
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)
Us/Them
  • EPUB
  • English
  • Year: 2018
  • Author: Wijs, Carly
search