Journal article published in "Science of Computer Programming"!
1 January 2020
The journal article “From CIL to Java bytecode: Semantics-based translation for static analysis leveraging”, by Ferrara, P., Cortesi, A., Spoto, F., has just been published in “Science of Computer Programming”! Available here.