TY  - RPRT
TI  - ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
AU  - Rafael Menezes
AU  - Daniel Moura
AU  - Helena Cavalcante
AU  - Rosiane de Freitas
AU  - Lucas C. Cordeiro
PY  - 2022
DO  - 10.1145/3533767.3543294
UR  - https://arxiv.org/abs/2206.04397
ID  - 2206.04397
ER  -