Considering reachability when comparing data refinements
Authors
Loading...
Permanent Link
Publisher link
Rights
Abstract
Adding considerations about reachability to the Logics of Specification Languages [1] chapter [2].
Citation
Reeves, S. (2008). Considering reachability when comparing data refinements. (Working paper 12/2008). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Type
Series name
Date
Publisher
University of Waikato, Department of Computer Science