direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Proceedings of the 6th International Workshop on Compiler Optimization meets Compiler Verification, COCV'07
Citation key glesner07proceedings
Title of Book COCV
Year 2007
Editor Sabine Glesner and Jens Knoop and Rolf Drechsler
Publisher Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier
Bibtex Type of Publication Conference Proceedings
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe