J. Knoop, G. Necula, W. Zimmermann (ed.):
"Proceedings of the 4th International Workshop on Compiler Optimization meets Compiler Verification (COCV 2005), Electronic Notes in Theoretical Computer Science, Volume 141, Issue 2";
Elsevier, 2005, 120 pages.