Books and Book Editorships:

J. Knoop, G. Necula, W. Zimmermann (ed.):
"Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2006)";
Elsevier, 2007, ISSN: 1571-0661; 122 pages.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.