1
Static Analysis [E-Book] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
Other Personal Name(s): “...Müller-Olm, Markus....”

Full text 
Favorites
Saved in:
2
Verification, Model Checking, and Abstract Interpretation [E-Book] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
Other Personal Name(s): “...Müller-Olm, Markus...”

Full text 
Favorites
Saved in:
3
Variations on Constants [E-Book] / Flow Analysis of Sequential and Parallel Programs
Other Personal Name(s): “...Müller-Olm, Markus...”

Full text 
Favorites
Saved in:
4
Modular Compiler Verification [E-Book] : A Refinement-Algebraic Approach Advocating Stepwise Abstraction /
Other Personal Name(s): “...Müller-Olm, Markus...”

Full text 
Favorites
Saved in:

Narrow Search Results