Roberta Gori - BotSE 2021

Fri 4 Jun 2021

co-located with ICSE 2021

Registered user since Wed 13 Nov 2019

Name:Roberta Gori

Country:Italy

Affiliation:University of Pisa

Contributions

FormaliSE 2021	Committee Member in Programme Committee within the FormaliSE 2021-track Formal characterization and efficient verification of a biological robustness property
ICSE 2021	A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
Show activities from other conferences