Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Rosiane de Freitas
conf.researchr.org general profile
ISSTA 2022 profile
Registered user since Tue 21 Jun 2022
Name:
Rosiane de Freitas
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
Wed 14 Aug 19:25