en | de

Experimente mit Verifikation – Einführung in Isabelle/HOL

Masterstudium

VO1  SS 2010  703523

Benotung

Die Note wird durch ein Semester-Projekt bestimmt. Einzelheiten werden in der Vorlesung besprochen.