Roberta Gori - SERP4IoT 2021

Write a Blog >>

Thu 3 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