Towards an integrated refinement environment for formal program development / by Steve Reeves and John C. Grundy.
Saved in:
| Published: |
Hamilton, N.Z. :
Department of Computer Science, University of Waikato,
1995.
|
|---|---|
| Main Author: | |
| Corporate Author: | |
| Other Authors: | |
| Series: | Working paper series (University of Waikato. Department of Computer Science) ;
95/26 |
| Subjects: | |
| Format: | Book |
EPS Library, Level 1
|
Call Number
Copy
Loan Type
Status
Request
|
|||||
