Browsen nach Autor

Autor (A-Z) Kägi, Andreas

2 Ergebnisse von Kägi, Andreas

Diese Suchanfrage als RSS-Feed abonnieren

1. A Formalization of JML in the Coq Proof System

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


Reports

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

Kägi, Andreas (2009)


Masterarbeiten