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