Not registered as user yet

Name:Pascale Le Gall
Country:France
Affiliation:CentraleSupelec

Contributions

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