A sound and complete hoar-like system for a fragment of Pascal
type: CreativeWork
type: Book
type: ProductModel
issued: 1978
about: p075610124
author: p073181587
description: Lit. opg
description: Voordr
language: en
is part of: p822717859
main entity of page: https://data.bibliotheken.nl/.well-known/genid/e4add93b92f3983bad40239a7b555f15
number of pages: 59
label: A sound and complete hoar-like system for a fragment of Pascal / K. R. Apt