Login / Signup
Roberto Bagnara
ORCID
Publication Activity (10 Years)
Years Active: 1992-2023
Publications (10 Years): 15
Top Topics
Interval Arithmetic
Practical Guidelines
Floating Point Arithmetic
Embedded Software
Top Venues
CoRR
LOD (1)
ACM Trans. Softw. Eng. Methodol.
Constraints An Int. J.
</>
Publications
</>