Marco Negro is an author at University of Padua specializing in engineering, system software, and formal verification.
Top concepts
CompilersEngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingOperating SystemsSoftware AnalysisSoftware Security
Publications per year
2015–2015
1
1
Mauro Conti, Stephen Crane, Lucas Davi et al. · 2015 · 122 citations
Rows per page
1–1 of 1