Report copyright - A Certified Lightweight Non-interference Java Bytecode Verifierpeople.irisa.fr/David.Pichardie/papers/esop07.pdf · 2 Language: Syntax and Semantics Our information flow type checker
Please pass captcha verification before submit form