Contact us
Address: Formal Methods and Tools lab 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