Interprocedural analysis for JVML verification (2002)

by William Retert , John Boyl
Venue:Proceedings of the 4th ECOOP Workshop on Formal Techniques for Java-like Programs
Citations:1 - 0 self