Hoare Logic for Realistically Modelled Machine Code.

Magnus O. Myreen, Michael J. C. Gordon

Browse the full TACAS paper archive.