Van der Poll, John A.2009-02-262009-02-262008-06-282009-02-26Van 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/]http://hdl.handle.net/2263/9051The Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.enJohn Andre van der PollHoare logicSystems softwareSet theoryZ (Computer program language)AutomationLogic, symbolic and mathematicalComputer scienceArticle