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

Created April 30, 2007, Updated March 05, 2009