R. Drechsler, S. Glesner, J. Knoop, W. Zimmermann (ed.):
"Preliminary Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2008)";
Budapest University of Technology and Economics, Budapest, 2008, 85 pages.