Antonio Castaldo D'Ursi is an author at Politecnico di Milano specializing in system software, computer engineering, and formal methods.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSoftware Engineering
Publications per year
2005–2007
2
2
B. Davide, Antonio Castaldo D'Ursi, Cristina Luca et al. · 2005 · 23 citations
Rows per page
1–2 of 2