The Refinement Calculus

Authors:
Jim Woodcock
Affiliations:
-
Venue:
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
Year:
1991

Citing 0
Cited 2

An Analysis of Operation-Refinement in an Abortive Paradigm

Electronic Notes in Theoretical Computer Science (ENTCS)
Modular semantics for object-oriented models

3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract