en | de

Experimente mit Verifikation – Einführung in Isabelle/HOL

Masterstudium

VO1  SS 2010  703523

Zeit & Ort

Freitag von 12:15 bis 14:30 im RR 21

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