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

dc.contributor.authorVan der Poll, John A.
dc.contributor.emailvdpolja@unisa.ac.zaen_US
dc.date.accessioned2009-02-26T12:58:21Z
dc.date.available2009-02-26T12:58:21Z
dc.date.created2008-06-28
dc.date.issued2009-02-26T12:58:21Z
dc.descriptionThe Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.
dc.identifier.citationVan 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.urihttp://hdl.handle.net/2263/9051
dc.language.isoenen_US
dc.rightsJohn Andre van der Pollen_US
dc.subjectHoare logicen_US
dc.subject.lcshSystems software
dc.subject.lcshSet theory
dc.subject.lcshZ (Computer program language)
dc.subject.lcshAutomation
dc.subject.lcshLogic, symbolic and mathematical
dc.subject.lcshComputer science
dc.titleA Computing medley on program verification, specification, and automated reasoningen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Poll_Computing(2008).pdf
Size:
116.69 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
2.44 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Colloquiums and Festschrifts (At the occasion of the 60th Birthday of Derrick Kourie)
Simple item page