Einladung des Lehrstuhls "Softwaretechnik und Programmiersprachen" zur
öffentlichen Promotionsprüfung
„On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms“
von Herrn Philipp Körner
Bekanntmachung der Promotionsprüfung
Die Öffentlichkeit ist bei der Befragung zugelassen.