Formal JVM code analysis in JavaFAN (2004)

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