The following pages link to (Q2764133):
Displaying 5 items.
- Towards verification of C\(\#\) programs: a three-level approach (Q885853) (← links)
- Semantics and logic of object calculi (Q1434358) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- Observable behavior of dynamic systems: component reasoning for concurrent objects (Q2864507) (← links)
- A Homage to Martin Wirsing (Q5256328) (← links)