Formal Specification and Verification of JavaCard's Application Identifier Class (2000)

by Joachim van den Berg , Bart Jacobs , Erik Poll
Venue:Proceedings of the JavaCard Workshop (JCW 2000), LNCS
Citations:9 - 4 self