Universität Karlsruhe
Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends

Konferenzartikel

[GHGZ99]Thilo Gaul, Andreas Heberle, Wolf Zimmermann, Wolfgang Goerigk, Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends, Amir Pnueli and Paolo Traverso (Ed.), Proceedings of RTRV '99: Workshop on Runtime Result Verification, 1999.

[Erzeuge bibTeX Eintrag]

Autoren

Alumni
Prof. Wolf Zimmermann
Dr. Thilo Gaul
Dr. Andreas Heberle
Partner
Dr. Wolfgang Goerigk
Login
Links