✦ LIBER ✦

[Lecture Notes in Computer Science] Java on Smart Cards:Programming and Security Volume 2041 || Formal Specification and Verification of Java Card’s Application Identifier Class

✍ Scribed by Attali, Isabelle; Jensen, Thomas

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Smar

✍ Prouff, Emmanuel 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 244 KB

[Lecture Notes in Computer Science] FME

✍ Eriksson, Lars-Henrik; Lindsay, Peter Alexander 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 190 KB

[Lecture Notes in Computer Science] Leve

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 648 KB