𝔖 Bobbio Scriptorium

✦ LIBER ✦

SchlumbergerSema adds on-card applet verification to Java Cards

Book ID: 114324902
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 164 KB
Volume: 14
Category: Article
ISSN: 0965-2590
DOI: 10.1016/s0965-2590(02)00614-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || From Sequential Java to Java Card

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 460 KB