Verification Tools in the Development of Provably Correct Compilers.

M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar

Browse the full FM paper archive.