Formal Proof of Smart Card Applets Correctness
- 1 January 2000
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A specification of Java loading and bytecode verificationPublished by Association for Computing Machinery (ACM) ,1998
- A type system for Java bytecode subroutinesPublished by Association for Computing Machinery (ACM) ,1998
- The B-BookPublished by Cambridge University Press (CUP) ,1996