Login / Signup
Augusto Sampaio
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 4
Top Topics
Theorem Prover
Petri Net
Metamodel
Behavioural Patterns
Top Venues
Softw. Syst. Model.
Sci. Comput. Program.
Comput. J.
</>
Publications
</>