Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniel Moura
conf.researchr.org general profile
ISSTA 2022 profile
Not registered as user
Name:
Daniel Moura
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 15 Jan 12:23