Universität Karlsruhe
Verification of Compilers

Konferenzartikel

[Goos:99:verifix]Gerhard Goos, Wolf Zimmermann, Verification of Compilers, Bernhard Steffen and Ernst RĂĽdiger Olderog (Ed.), Correct System Design, p. 201-230, Springer, Nov 1999.

[Erzeuge bibTeX Eintrag]

 

[Herunterladen]

Autoren

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