Searching for "Prespecification in Data Refinement." – sorted by Relevance.
-
Two-Categories and Program Structure
- , and J.W. Sanders. Prespecification in data refinement. 17 Nov 86, November 1986. [HHS87] J. He, C
- Add To MetaCart
-
A Summary of Refinement Theory
- of Hoare et al ("The weakest prespecification" and "Prespecification in data refinement"). 1 Preliminaries
- Cited by 1 (1 self) – Add To MetaCart

