Research Commons

Considering reachability when comparing data refinements

Research Commons

Considering reachability when comparing data refinements

Reeves, Steve
Identifier: http://hdl.handle.net/10289/1275
Date: 2008
Type: Working Paper
Citation: Reeves, S. (2008). Considering reachability when comparing data refinements. (Working paper 12/2008). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
Series: Computer Science Working Papers
Report No.: 12/2008
Publisher: University of Waikato, Department of Computer Science

Abstract:

Adding considerations about reachability to the Logics of Specification Languages [1] chapter [2].

Show full item record

Full-text options:

Thumbnail
Name: uow-cs-wp-2008-12.pdf
Size: 84.09Kb
Format: PDF
View/Open
Icon

This item appears in the following Collection(s)

Search Research Commons


Advanced Search

Browse

Theses

About Research Commons

My Account

Usage Statistics

Share

  • Bookmark and Share