Rafael Menezes is qualified to endorse.
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
| Rafael Menezes: | Is registered as an author of this paper. Can endorse for cs.SE. (why?) |
Daniel Moura, Helena Cavalcante, Rosiane de Freitas and Lucas C. Cordeiro are not registered as owners of this paper. (why?)