Home Advanced Search

Advanced Search - Page 1

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: E. Allen Emerson (auth.), Neil D. Jones, Markus Müller-Olm (eds.)
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)
  • PDF
  • English
  • Year: 2009
  • Author: Neil D. Jones, Markus Müller-Olm
Variations on Constants: Flow Analysis of Sequential and Parallel Programs
  • PDF
  • English
  • Year: 2006
  • Author: Markus Müller-Olm (auth.)
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
  • DJVU
  • English
  • Year: 1997
  • Author: Markus Müller-Olm (auth.)
Variations on Constants: Flow Analysis of Sequential and Parallel Programs
  • PDF
  • English
  • Year: 2006
  • Author: Markus Müller-Olm (auth.)
FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science: 20th Conference New Delhi, India, December 13–15, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: E. Allen Emerson (auth.), Sanjiv Kapoor, Sanjiva Prasad (eds.)
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: E. Allen Emerson (auth.), Radhia Cousot, Matthieu Martel (eds.)
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: E. Allen Emerson (auth.), Radhia Cousot, Matthieu Martel (eds.)
Microdialysis in Drug Development
  • PDF
  • English
  • Year: 2013
  • Author: Markus Müller (auth.), Markus Müller (eds.)
Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Amir Pnueli (auth.), E. Allen Emerson, Aravinda Prasad Sistla (eds.)
search