Pascale Le Gall - Q-SE 2021

Tue 1 - Wed 2 June 2021

co-located with ICSE 2021

Registered user since Thu 17 Nov 2022

Name:Pascale Le Gall

Country:France

Affiliation:CentraleSupelec

Contributions

2021

FormaliSE

Methodology for Specification and Verification of High-Level Properties with MetAcsl

Show activities from other conferences

ICSE 2021-profile
View general profile