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

Conference Article

[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.

[Generate bibTeX entry]

Authors

Alumni
Prof. Sabine Glesner
Jan Olaf Blech
Login
Links