Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Klaus Havelund (auth.), Brian Nielsen, Carsten Weise (eds.)
Beyond photography : the digital darkroom
  • PDF
  • English
  • Year: 1988
  • Author: Holzmann, Gerard J.
The spin model checker : primer and reference manual
  • GZ
  • English
  • Year: 2004
  • Author: Gerard J Holzmann
Design And Validation Of Computer Protocols
  • PDF
  • English
  • Year: 1990
  • Author: Gerard J. Holzmann
Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Howard Barringer, Klaus Havelund (auth.), Sarfraz Khurshid, Koushik Sen (eds.)
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (eds.)
search