Formalizing the safety of Java, the Java virtual machine, and Java card
ACM Computing Surveys (CSUR)
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Jakarta: A Toolset for Reasoning about JavaCard
E-SMART '01 Proceedings of the International Conference on Research in Smart Cards: Smart Card Programming and Security
A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
The rewriting logic semantics project
Theoretical Computer Science
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Prototyping SOS Meta-theory in Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
The Rewriting Logic Semantics Project
Electronic Notes in Theoretical Computer Science (ENTCS)
Transforming SOS specifications to linear processes
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |