en | de

Experiments in Verification – Introduction to Isabelle/HOL

master program

VO1  SS 2009  703523

News

Mar 05: Room change
The lecture has moved from RR 15 to RR 20.