2
Publications
44
Citations
2
H-Index
2017
Active since
Affiliations
Claudia Vannucchi is an author at Università di Camerino specializing in verification, formal methods, and automated reasoning.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationIntelligent SystemsSoftware DesignSystem SoftwareProgram Analysis
Publications per year
2017–2017
2
2
Rows per page
1–2 of 2