Write a Blog >>
ICSE 2021
Sun 16 May - Sat 5 June 2021
Michele Chiari

Registered user since Fri 5 Mar 2021

Name: Michele Chiari

Country: Italy

Affiliation: Politecnico di Milano

Personal website: https://michiari.github.io/

GitHub: https://github.com/michiari

Research interests: Formal Methods, Approximate Computing, Temporal Logic, Model Checking

Contributions

ICSE 2021 A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
Show activities from other conferences

Using general profile