ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. - Rafael Menezes; Daniel Moura; Helena Cavalcante; Rosiane de Freitas; Lucas C. Cordeiro (ISSTA, 2022)

ESBMC-Jimple ISSTA'22 Benchmarks. - Rafael Menezes; Daniel Moura; Helena Cavalcante; Rosiane de Freitas; Lucas C. Cordeiro (Zenodo, 2022)

ESBMC-Jimple ISSTA'22 Benchmarks. - Rafael Menezes; Daniel Moura; Helena Cavalcante; Rosiane de Freitas; Lucas C. Cordeiro (Zenodo, 2022)