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