The following pages link to (Q4348472):
Displayed 6 items.
- Loop invariants, exploration of regularities, and mathematical games (Q3150453) (← links)
- Reasoning about programs by exploiting the environment (Q4632437) (← links)
- Advanced concurrency control in Java (Q4790964) (← links)
- Fairness and hyperfairness (Q5137907) (← links)
- Using Hoare Logic in a Process Algebra Setting (Q5164860) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)