Formal Verification of a Commvecial Smart Card Applet with Multiple Tools

Author(s)

Journal

  • Proc. AMAST'04

    Proc. AMAST'04, 2004

Cited by:  1

Codes

  • NII Article ID (NAID)
    10019649671
  • Article Type
    Proceedings
  • Data Source
    CJPref 
Page Top