[Back]


Books and Book Editorships:

S. Glesner, J. Knoop, W. Zimmermann (ed.):
"Proceedings of the Workshop on Compiler Optimization meets Compiler Verification (COCV 2007)";
Elsevier, 2007, ISSN: 1571-0661; 160 pages.


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