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

Loading...
Thumbnail Image

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/]