en | de

Experiments in Verification – Introduction to Isabelle/HOL

master program

VO1  SS 2010  703523

Lecturer

room consultation hours
VO Christian Sternagel 3M03 by arrangement