Entscheidungsverfahren mit Anwendungen in der Softwareverifikation
- type: Vorlesung (V)
- semester: SS 2013
- place:
-
time:
Mo 14:00-15:30
- start: 15.04.2013
-
lecturer:
Dr. Carsten Sinz
Dr. Stephan Falke - sws: 2
- lv-no.: 2400034