Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Helena Cavalcante
conf.researchr.org general profile
ISSTA 2022 profile
Not registered as user
Name:
Helena Cavalcante
Affiliation:
Federal University of Amazonas
Contributions
2022
ISSTA
Author of ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation within the Tool Demonstrations-track
Share
x
Sun 22 Dec 02:23