Korreferent: Prof. Dr. J. Marius Zöllner
(KIT-Institut für Angewandte Informatik und Formale Beschreibungsverfahren - AIFB)
weitere Bilder (1) weitere Bilder (2)