book · Studies in cognitive systems · 1993

Program Verification

Timothy R. Colburn, James H. Fetzer, Terry L. Rankin

Cited by 7Abstract and details only

Abstract

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

Cite this paper

Colburn, T. R., Fetzer, J. H., & Rankin, T. L. (1993). Program Verification. Studies in cognitive systems. https://doi.org/10.1007/978-94-011-1793-7

MLA 9

Colburn, Timothy R., et al. “Program Verification.” Studies in cognitive systems, 1993, https://doi.org/10.1007/978-94-011-1793-7.

Chicago

Colburn, Timothy R., James H. Fetzer, and Terry L. Rankin. 1993. “Program Verification.” Studies in cognitive systems. https://doi.org/10.1007/978-94-011-1793-7.

Harvard

Colburn, T.R., Fetzer, J.H. and Rankin, T.L. (1993) ‘Program Verification’, Studies in cognitive systems. Available at: https://doi.org/10.1007/978-94-011-1793-7.

BibTeX

@book{colburn1993program,
  title = {{Program Verification}},
  author = {Colburn, Timothy R. and Fetzer, James H. and Rankin, Terry L.},
  publisher = {Studies in cognitive systems},
  year = {1993},
  doi = {10.1007/978-94-011-1793-7}
}

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