1
Publications
11
Citations
1
H-Index
2009
Active since
Affiliations
Technical University of Darmstadt(Current)
Elodie Legros is an author at Technical University of Darmstadt specializing in verification, formal verification, and automated reasoning.
Top concepts
DesignEngineeringGraph TheoryVerificationFormal MethodsSoftware DesignComputer ScienceSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2009–2009
1
1
Rows per page
1–1 of 1