J. Springintveld

Feasibility of model checking in the context of business processes using amber and spin

Sjouke Mauw, Wil Janssen, J. Springintveld, 1997 .

Algebraic verification of a distributed summation algorithm

Jan Friso Groote, J. Springintveld, 1996 .

Black-Box Testing from ISpec Interface Specifications

Jan Friso Groote, Bert Lisser, E. Rietjens, 2000 .

Lower and upper bounds for reductions of types in λω and λP

J. Springintveld, J. Springintveld, 1992 .