A sound and complete Hoare-like proof system for a fragment of PASCAL

Additional Metadata
Publisher	Stichting Mathematisch Centrum
Note	Onbekend. Technical Report IW 97, 1978 -- Stichting Mathematisch Centrum -- 62
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Apt, K. (1978). A sound and complete Hoare-like proof system for a fragment of PASCAL. Stichting Mathematisch Centrum.

Publication