Markus Müller-Olm
Books
Verification, Model Checking, and Abstract Interpretation
2008
ISBN 9783540939009
Variations on Constants
2006
ISBN 9783540453864
Static Analysis
2014
ISBN 9783319109350
Verification, Model Checking, and Abstract Interpretation
2008
ISBN 9783540939009Variations on Constants
2006
ISBN 9783540453864Static Analysis
2014
ISBN 9783319109350