Pages that link to "Item:Q439944"
From MaRDI portal
The following pages link to Verification of object-oriented programs: a transformational approach (Q439944):
Displaying 10 items.
- Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28--30, 2010. Revised selected papers (Q619015) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Proof pearl: The KeY to correct and stable sorting (Q2351413) (← links)
- A proof outline logic for object-oriented programming (Q2571207) (← links)
- Modular specification and verification of object-oriented programs (Q2744196) (← links)
- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique (Q2801764) (← links)
- Tendencies in verifying object-oriented software (Q2914589) (← links)
- (Q4870817) (← links)