Statistics
Publications
1
Citations
26
H-Index
1
Active since
2015
Affiliations
Politecnico di Milano(Current)
Paolo Antonucci is an author at Politecnico di Milano specializing in formal verification, formal methods, and learning sciences.
Publications per year
2015–2015
1
1
An Incremental Hint System For Automated Programming Assignments
Paolo Antonucci, Christian Estler, Đurica Nikolić et al. · 2015 · 26 citations
1–1 of 1