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