Home Advanced Search

Advanced Search - Page 1

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: João Lourenço (auth.), Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz (eds.)
Social Dimensions in the Novels of Barbara Pym, 1949-1963: The Writer As Hidden Observer
  • PDF
  • English
  • Year: 2007
  • Author: Orna Raz
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Armin Biere (auth.), Kerstin Eder, João Lourenço, Onn Shehory (eds.)
Model Checking
  • EPUB
  • English
  • Year: 2018
  • Author: Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Model Checking (Cyber Physical Systems Series)
  • EPUB
  • English
  • Year: 2018
  • Author: Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Decision Procedures: An Algorithmic Point of View
  • PDF
  • English
  • Year: 2016
  • Author: Daniel Kroening, Ofer Strichman (auth.)
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (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.)
Multicore Software Engineering, Performance, and Tools: International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lars Lucas, Tobias Schuele, Wolfgang Schwitzer (auth.), João M. Lourenço, Eitan Farchi (eds.)
search