FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
ICSE 2023 (series) / FormaliSE 2023 (series) / Christophe Garion
Christophe Garion

Registered user since Tue 18 Sep 2018

Name:Christophe Garion
Country:France
Affiliation:ISAE-SUPAERO
Personal website: https://personnel.isae-supaero.fr/christophe-garion?lang=en
Research interests:formal methods

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile