Hartel, P. H., Butler, M. J., & Levy, M. (1999). The Operational Semantics of a Java Secure Processor (pp. 313–351). https://doi.org/10.1007/3-540-48737-9_9
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.