Simple Verification Technique for Complex Java Bytecode Subroutines (2002)

by Alessandro Coglio
Venue:In ECOOP Workshop on Formal Techniques for Java-like Programs