Searching for "A System for Program Refinement." – sorted by Relevance.
-
bibliography of Conceptual Program Editors: Design and Formal Specification
- , CA, 1987. [11] T. Cheatham, J. Townley, and G. Holloway. "A System for Program Refinement." In D
- Cited by 1 (1 self) – Add To MetaCart

