Home Advanced Search

Advanced Search - Page 1

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Patrice Godefroid (auth.), Corina S. Păsăreanu (eds.)
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
  • PDF
  • English
  • Year: 2015
  • Author: Daniel Kroening, Corina S. Păsăreanu (eds.)
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
  • PDF
  • English
  • Year: 2015
  • Author: Daniel Kroening, Corina S. Păsăreanu (eds.)
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
  • DJVU
  • English
  • Year: 1996
  • Author: Patrice Godefroid (eds.)
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: David Wagner (auth.), Patrice Godefroid (eds.)
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky (auth.), Corina S. Păsăreanu, Gwen Salaün (eds.)
Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Radu Calinescu (editor), Corina S. Păsăreanu (editor)
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
  • EPUB
  • English
  • Year: 2021
  • Author: Marieke Huisman, Corina Păsăreanu, Naijun Zhan
Supernovae: The Tenth Santa Cruz Workshop in Astronomy and Astrophysics, July 9 to 21, 1989, Lick Observatory
  • PDF
  • English
  • Year: 1991
  • Author: Nicholas B. Suntzeff, Patrice Bouchet (auth.), S. E. Woosley (eds.)
search