2
Publications
137
Citations
2
H-Index
2014
Active since
Affiliations
Catherine Lelay is an author at Laboratoire de Recherche en Informatique specializing in automated reasoning, computer science, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningManagementData ScienceVerificationData Modeling
Publications per year
2014–2015
2
2
Rows per page
1–2 of 2