Specification-Driven Testing of Smart Card Interface Using a Formal Model

Created April 30, 2007, Updated February 17, 2017