Verification and derivation of infinite-list programs
Contributors: Rijksuniversiteit te Groningen
Publisher: [s.n.]
Published: 1988
Place of publication: [s.l.]
Language: eng
Number of pages: 88
Notes: Thesis (doctoral)--Rijksuniversiteit te Groningen, 1988.