About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Summer Term 2015  -  Introduction to Theorem Proving with Isabelle/HOL


Course title:   Introduction to Theorem Proving with Isabelle/HOL

Lecturer:   Dr. Kirsten Peters

Module:   MCL-TCSL

Status:   advanced unit

SWS (lecture/tutorial/practical):   2/0/0

Examination method:   to be announced

Prerequisites:

Course description:

References:

Additional information: