The Verification of Compiled Code.

T. Jennings, P. Taylor

Browse the full SAFECOMP paper archive.