direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler
Zitatschlüssel glesner05logische
Autor Sabine Glesner and Jan Olaf Blech
Buchtitel Proceedings der Tagung Software Engineering 2005
Seiten 131-140
Jahr 2005
Adresse Essen, Germany
Monat Mar
Verlag Lecture Notes in Informatics (LNI)
Typ der Publikation Conference Article
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe