Publication | Closed Access
rCOS: A refinement calculus of object systems
100
Citations
21
References
2006
Year
Artificial IntelligenceRefinement TechniqueEngineeringAutomated ReasoningFormal MethodsSystems EngineeringRefinement CalculusModel AbstractionComputer ScienceObject SystemFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1