Inductive assertions patterns for recursive procedures

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

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

2 Citations (Scopus)

57 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]; null ; 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",

}