|
DSpace at RU >
University Library >
Electronic documents Radboud University >
Files in This Item:
| File |
Description |
Size | Format |
|---|
 | | 270.7 kB | Adobe PDF | View/Open |
|
| Title: | Formal specification of the JavaCard API in JML: the APDU class |
| Author(s): | Poll, E. (089896793)
Berg, J.A.G.M. van den
Jacobs, B.P.F. (073592471) |
| Publication year: | 2000 |
| Document type: | Internal report |
| Publisher: | [S.l. : s.n.] |
| Number of pages: | 14 p. |
| Appears in Collections: | Electronic documents Radboud University
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/18936
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
