Interprocedural analysis for JVML verification (2002)

by W Retert, J Boyland
Venue:Proceedings of the 4th ECOOP Workshop on Formal Techniques for Java-like Programs