Pages that link to "Item:Q2507783"
From MaRDI portal
The following pages link to Modular invariants for layered object structures (Q2507783):
Displaying 8 items.
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- Verified software units (Q2233451) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- Invariants for Non-Hierarchical Object Structures (Q2873622) (← links)
- Dynamic Frames in Java Dynamic Logic (Q3067542) (← links)
- Verification of mutable linear data structures and iterator-based algorithms in Dafny (Q6113015) (← links)
