direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Coinductive Verification of Program Optimizations using Similarity Relations
Citation key glesner06coinductive
Author Sabine Glesner and Johannes Leitner and Jan Olaf Blech
Title of Book Proceedings of the Workshop Compiler Optimizations meets Compiler Verification (COCV 2006)
Year 2006
Address 9th European Conferences on Theory and Practice of Software (ETAPS 2006), Vienna, Austria
Month Apr
Publisher Electronic Notes in Theoretical Computer Science (ENTCS)
Bibtex Type of Publication Conference Article
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe