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
- Function : Author
- PersonId : 749591
- IdHAL : jerome-feret
- ORCID : 0000-0002-2601-2785
Patrick Cousot
- Function : Author
- PersonId : 837875
Antoine Miné
- Function : Author
- PersonId : 2206
- IdHAL : antoine-mine
- ORCID : 0000-0002-6375-3179
- IdRef : 111391636
Xavier Rival
- Function : Author
- PersonId : 6633
- IdHAL : xavier-rival
- IdRef : 180389238