direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Coinductive Verification of Program Optimizations using Similarity Relations
Zitatschlüssel glesner06coinductive
Autor Sabine Glesner and Johannes Leitner and Jan Olaf Blech
Buchtitel Proceedings of the Workshop Compiler Optimizations meets Compiler Verification (COCV 2006)
Jahr 2006
Adresse 9th European Conferences on Theory and Practice of Software (ETAPS 2006), Vienna, Austria
Monat Apr
Verlag Electronic Notes in Theoretical Computer Science (ENTCS)
Typ der Publikation Conference Article
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe