Home Advanced Search

Advanced Search - Page 1

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.)

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.)

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.)

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.)

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings

PDF
English
Year: 2022
Author: Erika Ábrahám (editor), Marco Paolieri (editor)

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

PDF
English
Year: 2011
Author: K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

Formal Methods

PDF
English
Year: 2018
Author: Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

Escape to Life : Deutsche Literatur im Exil

EPUB
German
Year: 2009
Author: Erika Mann; Klaus Mann

Abenteuer einer Weltreise

EPUB
German
Year: 2018
Author: Erika Mann; Klaus Mann