The following pages link to (Q2754051):
Displayed 5 items.
- Towards verification of C\(\#\) programs: a three-level approach (Q885853) (← links)
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (Q1040775) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Verified software units (Q2233451) (← links)
- Characteristic formulae for liveness properties of non-terminating CakeML programs (Q5875446) (← links)