Why Formalize the Java Bytecode Verifier and Loader?

Previous slide Next slide Back to first slide View graphic version