A Computing medley on program verification, specification, and automated reasoning
Loading...
Authors
Van der Poll, John A.
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
The Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.
Keywords
Hoare logic
Sustainable Development Goals
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/]