Roberta Gori - RoSE 2021

Wed 2 Jun 2021

co-located with ICSE 2021

Registered user since Wed 13 Nov 2019

Name:Roberta Gori

Country:Italy

Affiliation:University of Pisa

Contributions

2021

ICSE

A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions

FormaliSE

Show activities from other conferences

ICSE 2021-profile
View general profile