Inductive assertions patterns for recursive procedures

Research output: Contribution to conference › Paper › peer-review

2 Citations (Scopus)

225 Downloads (Pure)

Original language	Undefined
Pages	221-233
Number of pages	13
DOIs	https://doi.org/10.1007/3-540-06859-7_136
Publication status	Published - Apr 1974
Event	Programming Symposium - Paris, France Duration: 9 Apr 1974 → 11 Apr 1974

Keywords

@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]; Programming Symposium ; Conference date: 09-04-1974 Through 11-04-1974",

year = "1974",

month = apr,

doi = "10.1007/3-540-06859-7\_136",

language = "Undefined",

pages = "221--233",

}

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

T2 - Programming Symposium

Y2 - 9 April 1974 through 11 April 1974

ER -