article · 2013

Machine code, formal verification and functional programming

Parosh Aziz Abdulla

Cited by 0Abstract and details only

Abstract

The index has no abstract for this paper.

Cite this paper

APA 7

Abdulla, P. A. (2013). Machine code, formal verification and functional programming.

MLA 9

Abdulla, Parosh Aziz. “Machine code, formal verification and functional programming.” 2013.

Chicago

Abdulla, Parosh Aziz. 2013. “Machine code, formal verification and functional programming.”

Harvard

Abdulla, P.A. (2013) ‘Machine code, formal verification and functional programming’.

BibTeX

@article{abdulla2013machine,
  title = {{Machine code, formal verification and functional programming}},
  author = {Abdulla, Parosh Aziz},
  year = {2013}
}

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