2
Publications
27
Citations
2
H-Index
2009
Active since
Affiliations
Polytechnic University of Turin(Current)
L. Garcia is an author at Polytechnic University of Turin specializing in computer science, automated reasoning, and systems engineering.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2009–2009
2
2
Rows per page
1–2 of 2