1
Publications
34
Citations
1
H-Index
2005
Active since
Affiliations
Luciana Zuccheri is an author at University of Modena and Reggio Emilia specializing in formal methods, program analysis, and engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated Reasoning
Publications per year
2005–2005
1
1
Rows per page
1–1 of 1