en | de

Experiments in Verification – Introduction to Isabelle/HOL

master program

VO1  SS 2010  703523

Grading

The final grade is determined by a semester-project. Details are discussed during the lecture.