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
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 272-286
2007
Note(s): ISA specification, binary analysis