Home Advanced Search

Advanced Search - Page 1

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

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

PDF
English
Year: 2009
Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)

Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings

PDF
English
Year: 2015
Author: Ezio Bartocci, Rupak Majumdar (eds.)

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

PDF
English
Year: 2018
Author: Isil Dillig,Jens Palsberg (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.)

Protocol Specification, Testing and Verification XIV

PDF
English
Year: 1995
Author: Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (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.)

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

Object-Oriented Type Systems

DJVU
English
Year: 1994
Author: Jens Palsberg, Michael I. Schwartzbach

Britain and the Himalayan Kingdom of Bhotan

PDF
English
Year: 1984
Author: A. B. Majumdar