Searching for "Reasoning and Refinement in Object-Oriented Specification Languages." – sorted by Relevance.
-
Annotated Z Bibliography
- library system [177, 180] Lano and Haughton. Reasoning and refinement in object-oriented specification
- Add To MetaCart
-
Annotated Z Bibliography Jonathan Bowen
- library system [177, 180] Lano and Haughton. Reasoning and refinement in object-oriented specification
- Add To MetaCart

