Compiler verification for C0 (2005)

by M Strecker