Loading...
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