The following pages link to (Q4230924):
Displaying 7 items.
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Graph transformations for object-oriented refinement (Q1019019) (← links)
- Semantics and logic of object calculi (Q1434358) (← links)
- Model-based specification (Q1607085) (← links)
- A program logic for resources (Q2463560) (← links)
- Invariants for Non-Hierarchical Object Structures (Q2873622) (← links)
- Hoare logic for Java in Isabelle/HOL (Q4329634) (← links)
