DMCA

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

Cached

Download Links

by A. van Weelden , L. Frantzen , M. Oostdijk , P. Koopman , J. Tretmans , Arjen Van Weelden , Lars Frantzen , Martijn Oostdijk , Pieter Koopman , Jan Tretmans
Citations:4 - 2 self