Testing a Formally Verified Compiler.

David Monniaux, Lo Gourdin, Sylvain Boulm, Olivier Lebeltel

Browse the full TAP paper archive.