Title of article :
Formal specification of the JavaCard API in JML: the APDU class
Author/Authors :
Erik Poll، نويسنده , , Joachim van den Berg، نويسنده , , Bart Jacobs، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Pages :
15
From page :
407
To page :
421
Keywords :
Formal specification , JavaCard , Smart card
Journal title :
Computer Networks
Serial Year :
2001
Journal title :
Computer Networks
Record number :
298999
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=298999
