Daniel Moura -

Not registered as user yet

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