Login / Signup
Dino Mandrioli
ORCID
Publication Activity (10 Years)
Years Active: 1975-2024
Publications (10 Years): 27
Top Topics
Formal Verification
Model Checking
Context Free
Mazurkiewicz Traces
Top Venues
CoRR
Theor. Comput. Sci.
FormaliSE@ICSE
ICTCS
</>
Publications
</>