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

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

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