Inductive assertions patterns for recursive procedures

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

Research output: Contribution to conferencePaperpeer-review

2 Citations (Scopus)
57 Downloads (Pure)
Original languageUndefined
Pages221-233
Number of pages13
DOIs
Publication statusPublished - Apr 1974
EventProgramming Symposium - Paris, France
Duration: 9 Apr 197411 Apr 1974

Conference

ConferenceProgramming Symposium
Period9/04/7411/04/74
Other9-11 Apr 1974

Keywords

  • EWI-7243
  • IR-66437

Cite this