[Back]


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)
http://dx.doi.org/10.1016/j.entcs.2007.06.002


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