Specification and verification of Java bytecode subroutines and exceptions (0)

by S N Freund, J C Mitchell