@conference{GlBl:2005, author={Sabine Glesner and Jan Olaf Blech}, title={Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler}, booktitle={Proceedings der Tagung Software Engineering 2005}, year={2005}, month={March}, publisher={Lecture Notes in Informatics (LNI)}, address={Essen, Germany} }