Universitšt Karlsruhe
Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler

Konferenzartikel

[1]Sabine Glesner, Jan Olaf Blech, Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler, Proceedings der Tagung Software Engineering 2005, Lecture Notes in Informatics (LNI), March 2005.

[Erzeuge bibTeX Eintrag]

Autoren

Alumni
Prof. Sabine Glesner
Jan Olaf Blech
Login
Links