Universität Karlsruhe
Konstruktion verifizierender Übersetzer mit Programmprüfung

Dissertation

[Gaul:03]Thilo Gaul, Konstruktion verifizierender Übersetzer mit Programmprüfung, 2003 (Not yet published).

[Erzeuge bibTeX Eintrag]

Autoren

Alumni
Dr. Thilo Gaul
Login
Links