Denis Mazzucato - NASA Formal Methods 2024

Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States

Registered user since Fri 17 Sep 2021

Name:Denis Mazzucato

Country:France

Affiliation:INRIA & École Normale Supérieure | Université PSL

Contributions

2024

NFM

Quantitative Input Usage Static Analysis

Show activities from other conferences

NASA Formal Methods 2024-profile
View general profile