Thumbnail Image
Item

Considering reachability when comparing data refinements

Reeves, Steve
Abstract
Adding considerations about reachability to the Logics of Specification Languages [1] chapter [2].
Type
Working Paper
Type of thesis
Series
Computer Science Working Papers
Citation
Reeves, S. (2008). Considering reachability when comparing data refinements. (Working paper 12/2008). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Date
2008-11-03
Publisher
University of Waikato, Department of Computer Science
Degree
Supervisors
Rights
Files
Thumbnail Image
Name: uow-cs-wp-2008-12.pdf
Size: 84.09 KB
Kind: Adobe PDF
Permanent link
https://hdl.handle.net/10289/1275
DOI
Publisher version
Collections
2008 Working Papers
Full item page