2
Publications
44
Citations
2
H-Index
2017
Active since
Affiliations
Michelangelo Diamanti is an author at Università di Camerino specializing in computer science, formal methods, and verification.
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