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

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

Van der Poll, John A.
URI: http://hdl.handle.net/2263/9051
Date: 2009-02-26

Description:

The Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41.

Show full item record

Files in this item

Icon
Name: Poll_Computing(20 ...
Size: 116.6Kb
Format: PDF
View/Open

This item appears in the following Collection(s)