Proof rules for recursive procedures

Authors
Wim H.Hesselink
Citation
Wim H.hesselink, Proof rules for recursive procedures, Formal aspects of computing The international journal of formal methods , 5(6), 1993, pp. 554-570
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
5
Issue
6
Year of publication
1993
Pages
554 - 570
Database
ACNP
SICI code