A generic static analyser for the Java bytecode (2005)

by F Julia Spoto
Venue:In: Proceedings of the 7th Workshop on Formal Techniques for Java-like Programs (FTfJP’2005