A type system for the Java bytecode language and verifier (0)

by S N FREUND, J C MITCHELL
Venue:Journal of Automated Reasoning