en | de

Experiments in Verification – Introduction to Isabelle/HOL

master program

VO1  SS 2010  703523

Registration

Registration for the lecture is required before 8:00am on March 19.