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