article · ScholarsArchive (Brigham Young University) · 2008

Machine Code Verification Using The Bogor Framework

Cited by 3Open access

Abstract

This Thesis is brought to you for free and open access by BYU ScholarsArchive. It has been accepted for inclusion in All Theses and Dissertations by an

Cite this paper

APA 7

Edelman, J. R. (2008). Machine Code Verification Using The Bogor Framework. ScholarsArchive (Brigham Young University).

MLA 9

Edelman, Joseph R. “Machine Code Verification Using The Bogor Framework.” ScholarsArchive (Brigham Young University), 2008.

Chicago

Edelman, Joseph R. 2008. “Machine Code Verification Using The Bogor Framework.” ScholarsArchive (Brigham Young University).

Harvard

Edelman, J.R. (2008) ‘Machine Code Verification Using The Bogor Framework’, ScholarsArchive (Brigham Young University).

BibTeX

@article{edelman2008machine,
  title = {{Machine Code Verification Using The Bogor Framework}},
  author = {Edelman, Joseph R.},
  journal = {ScholarsArchive  (Brigham Young University)},
  year = {2008}
}

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