Formal Methods && Tools Group

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