Computing Publications

Publications Home » Cooperatively combining program v...

Cooperatively combining program verifiers: foundations and tool support

Nathaniel Charlton

PhD Thesis
October, 2008
PDF of full publication (4.4 megabytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.