CosyVerif: The Path to Formalisms Cohabitation
Étienne André
(1)
,
Jaime Arias
(2, 1)
,
Benoît Barbot
(3)
,
Francis Hulin-Hubard
(4)
,
Fabrice Kordon
(5)
,
Van-François Le
(2, 1)
,
Laure Petrucci
(1)
Étienne André
- Fonction : Auteur
- PersonId : 8289
- IdHAL : etienne-andre
Jaime Arias
- Fonction : Auteur
- PersonId : 1722
- IdHAL : jaime-arias
- IdRef : 191751669
Benoît Barbot
- Fonction : Auteur
- PersonId : 9838
- IdHAL : b-barbot
- ORCID : 0000-0003-2417-3064
- IdRef : 185406637
Fabrice Kordon
- Fonction : Auteur
- PersonId : 9774
- IdHAL : fabrice-kordon
- ORCID : 0000-0002-5626-828X
- IdRef : 074605283
Laure Petrucci
- Fonction : Auteur
- PersonId : 178715
- IdHAL : laure-petrucci
- ORCID : 0000-0003-3154-5268
- IdRef : 110965787