1 results
A certified lightweight non-interference Java bytecode verifier†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 5 / October 2013
- Published online by Cambridge University Press:
- 17 May 2013, pp. 1032-1081
-
- Article
- Export citation