Hoare Logic for ARM Machine Code
From MaRDI portal
Publication:3508532
DOI10.1007/978-3-540-75698-9_18zbMath1141.68373OpenAlexW4237950468MaRDI QIDQ3508532
Michael J. C. Gordon, A. C. J. Fox, Magnus O. Myreen
Publication date: 1 July 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-75698-9_18
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Uses Software