The following pages link to (Q2771757):
Displayed 4 items.
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Weakest pre-condition reasoning for Java programs with JML annotations (Q1881666) (← links)
- Source code verification of a secure payment applet (Q1881671) (← links)
- Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466) (← links)