Not registered as user yet

Name: Franck Védrine

Country: France

Affiliation: CEA LIST

Contributions

VMCAI 2021 Author of Runtime Abstract Interpretation for Numerical Accuracy and Robustness within the VMCAI-track