Login / Signup
Danielli A. Lima
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 15
Top Topics
Formal Analysis
Cellular Automata
Garbage Collection
Top Venues
SMC
ACRI
CoRR
ICAART (2)
</>
Publications
</>