Seminar: Software-Model-Checking
- type: Seminar
- chair: Fakultät für Informatik
- semester: Sommersemester 2010
-
place:
seminar room 131 (50.34)
-
time:
Mo (19.04.2010), 14:00-15:30 (einmalig)
-
lecturer:
Florian Merz
Stephan Falke
Carsten Sinz - sws: 2
- lv-no.: 24839