Towards the formal verification of a C0 compiler: Code generation and implementation correctness (2005)

by D Leinenbach, W Paul, E Petrova
Venue:3rd International Conference on Software Engineering and Formal Methods (SEFM 2005), 5-9 September 2005