Hoare logic for ARM machine code

Magnus O. Myreen, Anthony C. J. Fox, Michael J. C. Gordon
[ISBN] [Google Scholar] [DBLP] [Citeseer]

International Symposium on Fundamentals of Software Engineering
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 272-286
2007
Note(s): ISA specification, binary analysis