Abramo Bagnara

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 10

Top Topics

Floating Point Arithmetic

Embedded Software

Instruction Set

Correct Classification

Top Venues

ACM Trans. Softw. Eng. Methodol.

Constraints An Int. J.

Publications