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)