Verification of Java Bytecode using Analysis and Transformation of Logic Programs (2007)

by E. Albert , M. Gómez-zamalloa , L. Hubert , G. Puebla
Venue:In Ninth International Symposium on Practical Aspects of Declarative Languages, number 4354 in LNCS
Citations:13 - 9 self