The following pages link to Hendrik Tews (Q835771):
Displayed 7 items.
- Formal memory models for the verification of low-level operating-system code (Q835773) (← links)
- (Q2709810) (← links)
- Coalgebras for Binary Methods: Properties of Bisimulations and Invariants (Q2747943) (← links)
- Greatest Bisimulations for Binary Methods (Q2842564) (← links)
- (Q2847822) (← links)
- Formalizing Cut Elimination of Coalgebraic Logics in Coq (Q2851950) (← links)
- (Q4499302) (← links)