3
Publications
86
Citations
3
H-Index
2009
Active since
Affiliations
Euriell Le Corronc is an author at Institut National des Sciences Appliquées de Toulouse specializing in automated reasoning, formal methods, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningStabilityData ScienceData ModelingFormal VerificationKnowledge DiscoverySystems Engineering
Publications per year
2009–2014
3
3
Rows per page
1–3 of 3