Marko Kleine Büning

Doktorand
Modulare Software-Analyse
Room: 017
Phone: +49 721 608-45955
marko kleinebuening ∂does-not-exist.kit edu

Institut für Theoretische Informatik

Am Fasanengarten 5

76131 Karlsruhe

In Bearbeitung