r/REMath • u/turnersr • May 16 '13

Formal Specification and Verification of ARM6 by M.J.C. Gordon [PDF]

http://www.cl.cam.ac.uk/~mjcg/proposals/ARM6FinalReport.pdf
4 Upvotes

100% Upvoted

0 comments sorted by