"CIL to Java-bytecode translation for static analysis leveraging."

Pietro Ferrara, Agostino Cortesi, Fausto Spoto (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics