Universität Karlsruhe
ASM-Based Mechanized Verification of Compiler Backends

Konferenzartikel

[DGVZ:98]Axel Dold, Thilo Gaul, Vincent Vialard, Wolf Zimmermann, ASM-Based Mechanized Verification of Compiler Backends, Uwe Glässer and Peter H. Schmitt (Ed.), Proceedings of the 5th International Workshop on Abstract State Machines, p. 50-67, 1998.

[Erzeuge bibTeX Eintrag]

Autoren

Alumni
Prof. Wolf Zimmermann
Dr. Thilo Gaul
Partner
Dr. Axel Dold
Vincent Vialard
Login
Links