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

Courses in Summer Term 2015  -  Selected Topics in Logics and Verification


Course title:   Selected Topics in Logics and Verification

Lecturer:   Prof. Christel Baier, Dr. Sascha Klüppelholz

Module:   MCL-PCS

Status:   advanced unit

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

Examination method:   talk

Prerequisites:

Course description:

We study selected problems in logics and verification.

Additional information: