en | de

Experimente mit Verifikation – Einführung in Isabelle/HOL

Masterstudium

VO1  SS 2009  703523

Zeit & Ort

Freitag von 10:15 bis 13:00 im RR 20

Die Vorlesung beginnt ab Freitag den 6ten März.