@conference{773716,
  author = {Ramaswamy Chandramouli and Mark Blackburn},
  title = {Specification-Driven Testing of Smart Card Interface Using a Formal Model},
  year = {2007},
  month = {2007-04-30 00:04:00},
  publisher = {IADIS International Conference on Applied Computing 2007, , USA},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=51146},
  language = {en},
}