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