Pages that link to "Item:Q973055"
From MaRDI portal
The following pages link to Automatic verification of Java programs with dynamic frames (Q973055):
Displaying 7 items.
- The dynamic frames theory (Q539422) (← links)
- Automatic verification of Java programs with dynamic frames (Q973055) (← links)
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- Certified abstract cost analysis (Q2044174) (← links)
- Generalized arrays for Stainless frames (Q2152661) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
- Verification of Concurrent Systems with VerCors (Q5175776) (← links)
