Universität Karlsruhe
Verifying Compilers and ASMs

Konferenzartikel

[Goos:00:ASM]Gerhard Goos, Wolf Zimmermann, Verifying Compilers and ASMs, Yuri Gurevich and Philipp W. Kutter andMartin Odersky and Lothar Thiele (Ed.), Abstract State Machines, Theory and Applications, p. 177-202, Springer, Apr 2000.

[Erzeuge bibTeX Eintrag]

Autoren

Professor
Prof. Gerhard Goos
Alumni
Prof. Wolf Zimmermann
Login
Links