20
Publications
465
Citations
13
H-Index
1999
Active since
Affiliations
Carlo Bellettini is an author at University of Milan specializing in engineering, computer science, and software analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSystem SoftwareFormal VerificationComputer EngineeringFormal MethodsSoftware DesignSystems Engineering
Publications per year
1999–2024
20
20
Carlo Bellettini, Alessandro Marchetto, Andrea Trentini · 2004 · 39 citations
Software Maintenance, Web Server, Automated Software Engineering +14
How Challenging are Bebras Tasks?
Carlo Bellettini, Violetta Lonati, Dario Malchiodi et al. · 2015 · 30 citations · Full text
Carlo Bellettini, Alessandro Marchetto, Andrea Trentini · 2005 · 27 citations
Rows per page
1–5 of 20