| |
|
|
|
|
|
Dept. of Computer Science
University of Bologna
|
|
Dept. of Computer Science
University of Genova
|
|
|
Official
Web Site
Local
CoVer page
|
|
|
Official
Web Site
Local CoVer page
|
| |
|
|
|
|
|
Dept. of Pure and Applied Mathematics
University of Padova
|
|
Dept. of Mathematics
University of Parma
|
|
|
Official
Web Site
Local CoVer page
|
|
|
Official
Web Site
Local CoVer page
|
| |
|
|
|
|
|
Dept. of Mathematics and Computer
Science
University of Udine
|
|
Dept. of Computer Science
University of Verona
|
|
Official
Web Site
Local CoVer page
|
|
|
Official
Web Site
Local CoVer page
|
Institute of Informatics and Telematics
CNR Pisa
|
|
Formal Methods and Tools Group
IEI CNUCE Pisa
|
|
Official Web Site
Local
CoVer page
|
|
|
Official Web Site
|
