On-the-Fly Formal Testing of a Smart Card Applet (2004)

by A. van Weelden, L. Frantzen, M. Oostdijk, P. Koopman, J. Tretmans, Arjen Van Weelden, Lars Frantzen, Martijn Oostdijk, Pieter Koopman, Jan Tretmans