Verification and derivation of infinite-list programs / Berend Ate Sijtsma
mainEntity
Verification and derivation of infinite-list programs / Berend Ate Sijtsma
author
description
Proefschrift Groningen
inLanguage
mainEntityOfPage
name
Verification and derivation of infinite-list programs
numberOfPages
publication
sameAs
label
Verification and derivation of infinite-list programs / Berend Ate Sijtsma