Login / Signup
Levi Lúcio
Publication Activity (10 Years)
Years Active: 2012-2020
Publications (10 Years): 12
Top Topics
Formal Verification
Automated Analysis
Development Environments
Coloured Petri Nets
Top Venues
MoDELS (Satellite Events)
AMT@MoDELS
Softw. Syst. Model.
NFM
</>
Publications
</>