The following pages link to (Q2763679):
Displaying 5 items.
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Weakest pre-condition reasoning for Java programs with JML annotations (Q1881666) (← links)
- (Q2729949) (← links)
- Runtime Exception Detection in Java Programs Using Symbolic Execution (Q2937545) (← links)
- Computational Science and Its Applications – ICCSA 2004 (Q5712487) (← links)