"Java Bytecode Verification by Model Checking."

David A. Basin et al. (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics