Write a Blog >>
TechDebt 2021
Wed 19 - Fri 21 May 2021
co-located with
ICSE 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
ICSE 2021
Registration
Authors
Code of Conduct
Diversity and Inclusion Plan
PDF Program
Proceedings
Networking
Program
TechDebt Program
Your Program
Wed 19 May
Thu 20 May
Fri 21 May
Tracks
TechDebt 2021
Technical Papers
Tools
Organization
TechDebt 2021 Committees
Organizing Committee
Steering Committee
Track Committees
Technical Papers
Tools
Contributors
People Index
Search
Series
Series
TechDebt 2025
TechDebt 2024
TechDebt 2023
TechDebt 2022
TechDebt 2021
TechDebt 2020
TechDebt 2019
TechDebt 2018
Sign in
Sign up
ICSE 2021
(
series
) /
TechDebt 2021
(
series
) /
Abramo Bagnara
ICSE 2021 profile
conf.research.org general profile
Not registered as user yet
Name:
Abramo Bagnara
Affiliation:
BUGSENG srl
Contributions
2021
ICSE
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
Show activities from other conferences
Share
ICSE 2021-profile
View general profile
x
Sat 14 Dec 20:58