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