en | de

Experimente mit Verifikation – Einführung in Isabelle/HOL

Masterstudium

VO1  SS 2010  703523

Lehrender

Raum Sprechstunde
VO Christian Sternagel 3M03 nach Vereinbarung