Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Springintveld, J.
Volume
Title
142
Focus points and convergent process operators (A proof strategy for protocol verification)
Groote, J.F.
|
Springintveld, J.
119
Third-Order Matching in the Polymorphic Lambda Calculus
Springintveld, J.
112
Third-order matching in the presence of type constructors
Springintveld, J.
101
A Computer-Checked Verification of Milner’s Scheduler
Korver, H.
|
Springintveld, J.
Online