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

by Dirk Leinenbach, Wolfgang Paul, Elena Petrova
Venue:In IEEE Conference on Software Engineering and Formal Methods (SEFM’05