Termin

Titel:
Öffentliche Promotionsprüfung Sebastian Krings

Datum / Uhrzeit:
29.06.17   /  13:00 - 14:00

Ort:
Hörsaal 5F, Geb. 25.21


Beschreibung:

Einladung des Lehrstuhls "Softwaretechnik und Programmiersprachen" zur

öffentlichen Promotionsprüfung

„Towards Infinite-State Symbolic Model Checking for B and Event-B“

von Herrn Sebastian Krings

undefinedBekanntmachung der Promotionsprüfung

Zuhörer sind bei der Befragung zugelassen.


Zurück

Verantwortlich für den Inhalt: E-Mail sendenWE Informatik