Login / Signup
Roberto Bruni
ORCID
Publication Activity (10 Years)
Years Active: 1997-2024
Publications (10 Years): 38
Top Topics
Abstract Interpretation
Ims Ld
Petri Net
Logic Programming
Top Venues
CoRR
Theor. Comput. Sci.
Sci. Comput. Program.
The Art of Modelling Computational Systems
</>
Publications
</>