en | de

Experiments in Verification – Introduction to Isabelle/HOL

master program

VO1  SS 2009  703523

Time & Place

Friday from 10:15 to 13:00 in RR 20

The lecture starts on Friday March 6.