dissertation · Radboud Repository (Radboud University) · 1990

Functional programs as executable specifications

Pieter Koopman

Cited by 21Abstract and details only

Abstract

The index has no abstract for this paper.

Cite this paper

APA 7

Koopman, P. (1990). Functional programs as executable specifications. Radboud Repository (Radboud University).

MLA 9

Koopman, Pieter. “Functional programs as executable specifications.” Radboud Repository (Radboud University), 1990.

Chicago

Koopman, Pieter. 1990. “Functional programs as executable specifications.” Radboud Repository (Radboud University).

Harvard

Koopman, P. (1990) ‘Functional programs as executable specifications’, Radboud Repository (Radboud University).

BibTeX

@phdthesis{koopman1990functional,
  title = {{Functional programs as executable specifications}},
  author = {Koopman, Pieter},
  school = {Radboud Repository (Radboud University)},
  year = {1990}
}

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