The following pages link to (Q4493905):
Displaying 9 items.
- A weakest precondition semantics for communicating processes (Q789174) (← links)
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Graph transformations for object-oriented refinement (Q1019019) (← links)
- Soundness of data refinement for a higher-order imperative language (Q1605184) (← links)
- Weakest pre-condition reasoning for Java programs with JML annotations (Q1881666) (← links)
- Sound refactorings (Q2266944) (← links)
- Weakest relative precondition semantics. Balancing approved theory and realistic translation verification (Q2723562) (← links)
- Using CafeOBJ to mechanise refactoring proofs and application (Q2870325) (← links)