book chapter · Lecture notes in computer science · 2007

Hoare Logic for ARM Machine Code

Magnus O. Myreen, Anthony Fox, Michael J. C. Gordon

Cited by 9Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Myreen, M. O., Fox, A., & Gordon, M. J. C. (2007). Hoare Logic for ARM Machine Code. Lecture notes in computer science, 272–286. https://doi.org/10.1007/978-3-540-75698-9_18

MLA 9

Myreen, Magnus O., et al. “Hoare Logic for ARM Machine Code.” Lecture notes in computer science, 2007, pp. 272–86, https://doi.org/10.1007/978-3-540-75698-9_18.

Chicago

Myreen, Magnus O., Anthony Fox, and Michael J. C. Gordon. 2007. “Hoare Logic for ARM Machine Code.” Lecture notes in computer science: 272–86. https://doi.org/10.1007/978-3-540-75698-9_18.

Harvard

Myreen, M.O., Fox, A. and Gordon, M.J.C. (2007) ‘Hoare Logic for ARM Machine Code’, Lecture notes in computer science, pp. 272–286. Available at: https://doi.org/10.1007/978-3-540-75698-9_18.

BibTeX

@incollection{myreen2007hoare,
  title = {{Hoare Logic for ARM Machine Code}},
  author = {Myreen, Magnus O. and Fox, Anthony and Gordon, Michael J. C.},
  booktitle = {Lecture notes in computer science},
  pages = {272--286},
  year = {2007},
  doi = {10.1007/978-3-540-75698-9_18}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.