Universität Karlsruhe
Zur Konstruktion verifizierter Übersetzer

Konferenzartikel

[GGHZ97]Thilo Gaul, Gerhard Goos, Andreas Heberle, Wolf Zimmermann, Zur Konstruktion verifizierter Übersetzer, Herbert Kuchen (Ed.), Arbeitstagung Programmiersprachen, WestfĂ€lische Wilhelms-UniversitĂ€t MĂŒnster, 1997.

[Erzeuge bibTeX Eintrag]

Autoren

Professor
Prof. Gerhard Goos
Alumni
Prof. Wolf Zimmermann
Dr. Thilo Gaul
Dr. Andreas Heberle
Login
Links