7th International Workshop on
Compiler Optimization Meets Compiler Verification
COCV 2008
Budapest, Hungary, April 5, 2008
http://www.complang.tuwien.ac.at/cocv2008/cocv2008.html
In conjunction with the
11th European Joint Conferences on Theory and Practice of
Software (ETAPS 2008)
Budapest,
Hungary,
March 29 - April 6, 2008