Program refinement
- Programming from Specifications. Carroll Morgan. 2nd edition.
- Refinement Calculus: A Systematic Introduction. Ralph-Johan Back and Joakim von Wright.
- Unifying Theories of Programming. Tony Hoare and He Jifeng.
|
|
|
|
|
Program refinement
Document Actions |
