A Hoare-like Proof System for Total  Correctness of  Nested Recursive Procedures

Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proc. Fourth Hungarian Computer Science Conference
Publication date	1985
Publication status	Published - 1985
Event	4th Hungarian Computer Science Conference - Györ, Hungary Duration: 8 Jul 1985 → 10 Jul 1985

Conference	4th Hungarian Computer Science Conference
Country/Territory	Hungary
City	Györ
Period	08/07/1985 → 10/07/1985

OpenUrl availability

@inproceedings{4a0ef6c7fc404bcfb84e04a90fb488ec,

title = "A Hoare-like Proof System for Total Correctness of Nested Recursive Procedures",

author = "Nielson, \{Hanne Riis\}",

year = "1985",

language = "English",

booktitle = "Proc. Fourth Hungarian Computer Science Conference",

note = "4th Hungarian Computer Science Conference ; Conference date: 08-07-1985 Through 10-07-1985",

}