Universität Karlsruhe
Eine formale Semantik fĂĽr SSA-Zwischensprachen in Isabelle/HOL

Diplomarbeit (abgeschlossen)

Betreuer

Alumni
Prof. Sabine Glesner

Bearbeiter

Alumni
Jan Olaf Blech
Login
Links