The following pages link to Thomas Arts (Q199243):
Displaying 9 items.
- Gaining trust by tracing security protocols (Q2095430) (← links)
- (Q2723906) (← links)
- (Q2763376) (← links)
- Proving innermost normalisation automatically (Q4594225) (← links)
- (Q4808829) (← links)
- Termination of constructor systems (Q5055852) (← links)
- Formal Approaches to Software Testing (Q5710639) (← links)
- Termination by absence of infinite chains of dependency pairs (Q5878910) (← links)
- Verification of Erlang processes by dependency pairs (Q5941753) (← links)