Inductive assertions patterns for recursive procedures

B. Robinet (Editor), M.M. Fokkinga

Research output: Contribution to conferencePaper

2 Citations (Scopus)
20 Downloads (Pure)
Original languageUndefined
Pages221-233
Number of pages13
DOIs
Publication statusPublished - Apr 1974

Keywords

  • EWI-7243
  • IR-66437

Cite this