Pages that link to "Item:Q1902305"
From MaRDI portal
The following pages link to Specification and verification of object-oriented programs using supertype abstraction (Q1902305):
Displaying 4 items.
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- Slicing techniques for verification re-use (Q2571210) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- A Coalgebraic Semantics of Subtyping (Q2747942) (← links)
