Martin-Luther-Universität Halle-Wittenberg

Logo des Lehrstuhls Software-Engineering und Progammiersprachen

Weiteres

Login für Redakteure

Themen in Bearbeitung zu Projektarbeiten am Lehrstuhl Prof. Dr. Zimmermann

Christian Richter: Codegenerierung von SMV geprüften Automaten für eine gegebene virtuelle Maschine

Zum Seitenanfang