A sound and complete Hoare-like system for a fragment of Pascal.
Contributors: Mathematisch Centrum (Amsterdam, Netherlands)
Publisher: Mathematisch Centrum, Afdeling Informatica
Published: 1978
Place of publication: Amsterdam
Language: eng
Number of pages: 59