Contact us
Address:
Formal Methods and Tools Laboratory
Istituto di Scienza e Tecnologie dell'Informazione
Consiglio Nazionale delle Ricerche
Area della Ricerca di Pisa
Via G. Moruzzi, 1
56124 Pisa
ITALY
Contact Person:
Maurice ter Beek
Office: +39 050 621 3471
Secretary: +39 050 621 2920
fax: +39 050 315 2810
e-mail: maurice.terbeek (at) isti.cnr.it
e-mail: trivella (at) isti.cnr.it