Formal specification of the JavaCard (0)

by E Poll, J van den Berg, B Jacobs
Venue:API in JML: the APDU class. Computer Networks