L'analyseur statique Astrée
Julien Bertrane
(1)
,
Jérôme Feret
(2)
,
Patrick Cousot
(1)
,
Radhia Cousot
(1)
,
Antoine Miné
(1)
,
Xavier Rival
(2)
,
Laurent Mauborgne
(3)
Jérôme Feret
- Fonction : Auteur
- PersonId : 749591
- IdHAL : jerome-feret
- ORCID : 0000-0002-2601-2785
Patrick Cousot
- Fonction : Auteur
- PersonId : 837875
Antoine Miné
- Fonction : Auteur
- PersonId : 2206
- IdHAL : antoine-mine
- ORCID : 0000-0002-6375-3179
- IdRef : 111391636
Xavier Rival
- Fonction : Auteur
- PersonId : 6633
- IdHAL : xavier-rival
- ORCID : 0000-0002-2875-6171
- IdRef : 180389238