M. Franssen

Efficient evaluation of triangular B-splines

R. Veltkamp, M. Franssen, J. Wesselink, 1999 .

Cocktail : a tool for deriving correct programs

M. Franssen, 2000 .

Lambda Ro- : a pure type system for first order logic with automated theorum proving

M. Franssen, 1997 .

Tools for the construction of correct programs : an overview

Mgj Franssen, M. Franssen, 1997 .