Considering reachability when comparing data refinements
Citation
Export citationReeves, S. (2008). Considering reachability when comparing data refinements. (Working paper 12/2008). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Permanent Research Commons link: https://hdl.handle.net/10289/1275
Abstract
Adding considerations about reachability to the Logics of Specification Languages [1] chapter [2].
Date
2008-11-03Type
Report No.
12/2008
Publisher
University of Waikato, Department of Computer Science
Collections
- 2008 Working Papers [14]