Christophe Garion - FormaliSE 2025

Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada

co-located with ICSE 2025

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

2025

FormaliSE

Committee Member in Artifact Evaluation Committee within the Artifact Track-track

Show activities from other conferences

ICSE 2025-profile
View general profile

	
		OSZAR »