Not registered as user yet

Name:Louis Rilling
Country:France
Affiliation:DGA MaƮtrise de l'Information

Contributions

FormaliSE 2021 Author of Methodology for Specification and Verification of High-Level Properties with MetAcsl within the FormaliSE 2021-track