Towards the formal verification of a C0 compiler (0)

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