Browse by Author

Authors (A-Z) Lehner, Hermann

2 Results for Lehner, Hermann

Subscribe to RSS feed for this result set

1. A formal definition of JML in Coq and its application to runtime assertion checking

Lehner, Hermann (2011)


Doctoral and Habilitation Theses

2. A Formalization of JML in the Coq Proof System

Kägi, Andreas, Lehner, Hermann and Müller, Peter (2009)


Reports