Proving total correctness of recursive procedures / P. America, F.S. de Boer
type: Book
type: CreativeWork
type: ProductModel
issued: 1989
about: p075603233
author: p074239325
author: p075404001
contributor: p072666641
language: en
is part of: p840821077
main entity of page: https://data.bibliotheken.nl/.well-known/genid/757347b20837b898c2fcb1c4b961a046
name: Proving total correctness of recursive procedures
number of pages: 33