Applying Formal Methods to the Design of Smart Card Software

Michael Butler, Pieter H. Hartel, Mark Longley, Eduard de Jong

    Research output: Book/ReportReportOther research output

    19 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Applying Formal Methods to the Design of Smart Card Software'. Together they form a unique fingerprint.