Concepedia
Publication | Closed Access
The existence of refinement mappings
726
Citations
11
References
1991
Year
Refinement TechniqueEngineeringAutomated ReasoningRefinement MappingsFormal MethodsModel RefinementRewriting System
Page 1