The following pages link to (Q4790351):
Displaying 5 items.
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- Weakest pre-condition reasoning for Java programs with JML annotations (Q1881666) (← links)
- A program logic for resources (Q2463560) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
