Formal JVM Code Analysis in JavaFAN (2004)

by A Farzan, J Meseguer, G Rosu
Venue:In Proceedings of AMAST’04, volume 3116 of LNCS