Browsing by Author Vickers, Trevor
Showing results 3 to 3 of 3
Procedures and invariants in the refinement calculus
Author(s) | Vickers, Trevor; Morgan, Carroll |
---|---|
Type | Working/Technical Paper |
Date Published | 1994 |
Date Created | 1994 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator