Dipartimento di Informatica Università di Pisa Largo B. Pontecorvo, 3 56127 Pisa - Italia
tel: +39 (050) 2212729
fax: +39 (050) 2212726
e-mail: leoni@di.unipi.it