direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler
Citation key glesner05logische
Author Sabine Glesner and Jan Olaf Blech
Title of Book Proceedings der Tagung Software Engineering 2005
Pages 131-140
Year 2005
Address Essen, Germany
Month Mar
Publisher Lecture Notes in Informatics (LNI)
Bibtex Type of Publication Conference Article
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe