The following pages link to Jan Springintveld (Q1349248):
Displaying 10 items.
- (Q197381) (redirect page) (← links)
- Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249) (← links)
- A computer checked algebraic verification of a distributed summation algorithm (Q2576570) (← links)
- (Q3024854) (← links)
- A simple proof of the undecidability of inhabitation in λP (Q3125231) (← links)
- (Q4281487) (← links)
- (Q4490726) (← links)
- Third-order matching in the polymorphic lambda calculus (Q4645813) (← links)
- (Q5754517) (← links)
- Testing timed automata (Q5940921) (← links)
