Termin

Titel:
Öffentliche Promotionsprüfung Ivaylo Miroslavov Dobrikov

Datum / Uhrzeit:
15.12.17   /  10:00 - 11:00

Ort:
25.02.00 Raum 36


Beschreibung:

Einladung des Lehrstuhls "Softwaretechnik und Programmiersprachen" zur

öffentlichen Promotionsprüfung

„Improving Explicit-State Model Checking for B and Event-B“

von Herrn Ivaylo Miroslavov Dobrikov

undefinedBekanntmachung der Promotionsprüfung

Zuhörer sind bei der Befragung zugelassen.


Zurück

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