A Computing medley on program verification, specification, and automated reasoning

dc.contributor.author	Van der Poll, John A.
dc.date.accessioned	2009-02-26T12:58:21Z
dc.date.available	2009-02-26T12:58:21Z
dc.date.created	2008-06-28
dc.date.issued	2009-02-26T12:58:21Z
dc.description	The Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.
dc.identifier.citation	Van der Poll, JA 2008, 'A Computing medley on program verification, specification, and automated reasoning', in Colloquium and Festschrift at the occasion of the 60th birthday of Derrick Kourie (Computer Science), Windy Brow, South Afica, 28 June 2008. [http://www.cs.up.ac.za/cs/sgruner/Festschrift/]
dc.identifier.uri	http://hdl.handle.net/2263/9051
dc.language.iso	en	en_US
dc.rights	John Andre van der Poll	en_US
dc.subject	Hoare logic	en_US
dc.subject.lcsh	Systems software
dc.subject.lcsh	Set theory
dc.subject.lcsh	Z (Computer program language)
dc.subject.lcsh	Automation
dc.subject.lcsh	Logic, symbolic and mathematical
dc.subject.lcsh	Computer science
dc.title	A Computing medley on program verification, specification, and automated reasoning	en_US
dc.type	Article	en_US