en | de

Experimente mit Verifikation – Einführung in Isabelle/HOL

Masterstudium

VO1  SS 2009  703523

Anmeldung

Für die Vorlesung ist eine Anmeldung bis zum 13ten März um 8:00 erforderlich.