20
Publications
539
Citations
12
H-Index
1984
Active since
Elena Zucca is an author at University of Genoa specializing in formal methods, computer science, and engineering.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningSoftware AnalysisFormal VerificationProgram AnalysisLinguisticsSoftware EngineeringLanguage
Publications per year
1984–2018
20
20
Davide Ancona, Elena Zucca · Journal of Functional Programming · 2002 · 94 citations · Full text
Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou et al. · 2005 · 51 citations
Rows per page
1–5 of 20