5th International Workshop on
Compiler Optimization Meets Compiler Verification
COCV 2006
Vienna, Austria, April 2, 2006
http://www.complang.tuwien.ac.at/cocv2006/cocv2006.html
In conjunction with the
9th European Joint Conferences on Theory and Practice of
Software (ETAPS 2006)
Vienna,
Austria,
March 25 - April 2, 2006