Peter Müller

Peter Müller

Eidgenössische Technische Hochschule ETH Zürich - Zurich / Switzerland
Others
AD Scientific Index ID: 1099363
Swiss Federal Institute of Technology ETH Zurich
person_outline Peter Müller's MOST POPULAR ARTICLES
1-) Viper: A Verification Infrastructure for Permission-Based Reasoning Verification, Model Checking, and Abstract Interpretation, 41-62, 2016
2-) Modular specification and verification of object-oriented programs Springer-Verlag, 2002
3-) Modular Specification and Verification of Object-Oriented Programs PhD thesis, FernUniversitat Hagen, 2001
4-) Object invariants in dynamic contexts ECOOP 2004–Object-Oriented Programming, 95-108, 2004
5-) JML reference manual Department of Computer Science, Iowa State University 226, 2008