The Operational Semantics of a Java Secure Processor

Pieter H. Hartel, M.J. Butler, M. Levy

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    169 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'The Operational Semantics of a Java Secure Processor'. Together they form a unique fingerprint.