• CIL to Java-Bytecode Translati...

Treffer: CIL to Java-Bytecode Translation for Static Analysis Leveraging

Title:
CIL to Java-Bytecode Translation for Static Analysis Leveraging
Authors:
Ferrara, Pietro, Cortesi, Agostino, Spoto, Fausto
Source:
2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2018 IEEE/ACM 6th International FME Workshop on. :40-49 May, 2018
Relation:
2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Database:
IEEE Xplore Digital Library