Recursieve procedures en eenvoudige inductie asserties

M.M. Fokkinga

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Original languageUndefined
Title of host publicationColloquium Programmacorrectheid
EditorsJ.W. de Bakker
Place of PublicationAmsterdam, The Netherlands
PublisherMathematical Centre
Pages151-165
Number of pages15
ISBN (Print)90-6196-103-3
Publication statusPublished - 1975

Publication series

NameMathematical Centre Syllabus
PublisherMathematical Centre
Volume21

Keywords

  • EWI-8217

Cite this