Proving total correctness of recursive procedures / P. America, F.S. de Boer

<http://data.bibliotheken.nl/id/nbt/p053441680>

rdfs:label	"Proving total correctness of recursive procedures / P. America, F.S. de Boer"
schema:name	"Proving total correctness of recursive procedures"
schema:author	Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
	America, Petrus Hubertus Maria (1959-)
schema:contributor	Boer, Frank Sipke de (1956-)
schema:sameAs	<http://www.worldcat.org/oclc/906548106>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/757347b20837b898c2fcb1c4b961a046>
http://purl.org/dc/terms#issued	"1989"
schema:about	computerwiskunde
schema:inLanguage	"en"
schema:isPartOf	Report / Department of Computer Science
schema:numberOfPages	33
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/07daedb542394e7d28590d26e660111d>