Formal JVM code analysis in JavaFAN (2004)

by Azadeh Farzan , José Meseguer
Venue:Proc. AMAST’04, Springer LNCS
Citations:13 - 5 self