Inductive assertions patterns for recursive procedures

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

Research output: Contribution to conferencePaperAcademicpeer-review

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

Keywords

  • EWI-7243
  • IR-66437

Cite this

Robinet, B. (Editor) ; Fokkinga, M.M. / Inductive assertions patterns for recursive procedures. 13 p.
@conference{abc0e6bd179442e5a2e8f5666d4d6a85,
title = "Inductive assertions patterns for recursive procedures",
keywords = "EWI-7243, IR-66437",
author = "B. Robinet and M.M. Fokkinga",
note = "Imported from EWI/DB PMS [db-utwente:inpr:0000003434]",
year = "1974",
month = "4",
doi = "10.1007/3-540-06859-7_136",
language = "Undefined",
pages = "221--233",

}

Inductive assertions patterns for recursive procedures. / Robinet, B. (Editor); Fokkinga, M.M.

1974. 221-233.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - Inductive assertions patterns for recursive procedures

AU - Fokkinga, M.M.

A2 - Robinet, B.

N1 - Imported from EWI/DB PMS [db-utwente:inpr:0000003434]

PY - 1974/4

Y1 - 1974/4

KW - EWI-7243

KW - IR-66437

U2 - 10.1007/3-540-06859-7_136

DO - 10.1007/3-540-06859-7_136

M3 - Paper

SP - 221

EP - 233

ER -