,
Elsevier
J.M.T. Romijn (Judi) , G. Smith (Graeme) , J.C. van de Pol (Jaco)
Electronic Notes in Theoretical Computer Science
Protocols for Secure Infrastructure and E-commerce
Doctoral Symposium of IFM
Specification and Analysis of Embedded Systems

Calamé, J.R, Ioustinova, N, & van de Pol, J.C. (2007). Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction. In J.M.T Romijn, G Smith, & J.C van de Pol (Eds.), Electronic Notes in Theoretical Computer Science (Vol. 191, pp. 25–48). Elsevier.