Formal JVM code analysis in JavaFAN (2004)

by A Farzan, J Meseguer, G Rosu
Venue:AMAST, LNCS 3116