1
Publications
35
Citations
1
H-Index
2010
Active since
Affiliations
Eudes Petonnet is an author at Laboratoire d'Informatique Algorithmique: Fondements et Applications specializing in formal verification, verification, and automated reasoning.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal Verification
Publications per year
2010–2010
1
1
François Laroussinie, Antoine Meyer, Eudes Petonnet · 2010 · 35 citations · Full text
Rows per page
1–1 of 1