FACADE: a typed intermediate language dedicated to smart cards
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
A B model for ensuring soundness of a large subset of the java card virtual machine
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Formalizing a JVML Verifier for Initialization in a Theorem Prover
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Hi-index | 0.00 |