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