Home Advanced Search

Advanced Search - Page 1

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Erika Ábrahám, Marieke Huisman (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Erika Ábrahám, Klaus Havelund (eds.)
Tools and Algorithms for the Construction and Analysis of Systems
  • PDF
  • English
  • Year: 2018
  • Author: Dirk Beyer, Marieke Huisman
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
  • PDF
  • English
  • Year: 2018
  • Author: Dirk Beyer, Marieke Huisman
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
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Claudio A. Ardagna, Marco Cremonini (auth.), Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (eds.)
Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Erika Ábrahám, Andreas Grüner (auth.), Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (eds.)
search