Home Advanced Search

Advanced Search - Page 1

Formal Methods
  • PDF
  • English
  • Year: 2018
  • Author: Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
Control Flow Semantics
  • DJVU
  • English
  • Year: 1996
  • Author: Jaco de Bakker, Erik de Vink
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.)
Avant-garde and criticism
  • PDF
  • English
  • Year: 2007
  • Author: Klaus Beekman & Jan de Vries
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.)
Systematische Natuurkunde. Katern C, VWO, Kern- en deeltjesprocessen
  • PDF
  • Dutch
  • Year: 2016
  • Author: Bart van Dalen, Johan van Dongen, René de Jong, Arjan Keurentjes, Evert-Jan Nijhof, Hein Vink, Harrie Ottink
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Márcio Cornélio, Bill Roscoe (eds.)
La montagne qui bouge
  • PDF
  • French
  • Author: Vink
Protocol Specification, Testing and Verification XIV
  • PDF
  • English
  • Year: 1995
  • Author: Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (eds.)
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
search