Inductive assertions patterns for recursive procedures

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

Research output: Contribution to conference › Paper

2 Citations (Scopus)

20 Downloads (Pure)

@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",

}