|
Andrea Asperti Department of Computer Science |
|
Managing editor of the Journal of Formalized Reasoning |
| cv |
| didattica |
| projects |
| papers |
| books |
| talks & seminars |
| My POPL row |
 |
 |
 |
 |
 |
|
|
Social processes, program verification, and all that: Most read mscs paper in years 2009-2012. |
|
may 2010