Verification of Graph Programs

Thumbnail
Metadata only
Author
Poskitt, Christopher M.
Date
2013-06
Type
    Doctoral Thesis
Publication status
published
External links
http://etheses.whiterose.ac.uk/id/eprint/4700
Search print copy at ETH Library
Publisher
The University of York, Department of Computer Science
Organisational unit
03594 - Meyer, Bertrand (emeritus)  
More
Show all metadata
ETH Bibliography
no
Altmetrics