Browse by Author

Authors (A-Z) "Kägi, Andreas"

2 Results for "Kägi, Andreas"

Subscribe to RSS feed for this result set

1. A Formalization of JML in the Coq Proof System

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


Reports

2. Embedding JML-annotated programs in the coq proof system

Kägi, Andreas (2009)


Master Theses