| Original language | Undefined |
|---|---|
| Pages | 221-233 |
| Number of pages | 13 |
| DOIs | |
| Publication status | Published - Apr 1974 |
Keywords
- EWI-7243
- IR-66437
Cite this
Robinet, B. (Ed.), & Fokkinga, M. M. (1974). Inductive assertions patterns for recursive procedures. 221-233. https://doi.org/10.1007/3-540-06859-7_136
@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",
}
Robinet, B (ed.) & Fokkinga, MM 1974, 'Inductive assertions patterns for recursive procedures' pp. 221-233. https://doi.org/10.1007/3-540-06859-7_136
Inductive assertions patterns for recursive procedures. / Robinet, B. (Editor); Fokkinga, M.M.
1974. 221-233.Research output: Contribution to conference › Paper › Academic › peer-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 -
Robinet B, (ed.), Fokkinga MM. Inductive assertions patterns for recursive procedures. 1974. https://doi.org/10.1007/3-540-06859-7_136