Formal Methods && Tools Group

Contact us

Address: Formal Methods Group
         ISTI - Consiglio Nazionale Delle Ricerche
         Area della Ricerca di Pisa
         Via Moruzzi, 1 - 56124 PISA (ITALY)
         
Contact Person: Stefania Gnesi
         Office: +39-050 315 2918 
         Secretary: +39-050 315 2920
         fax:+39-050 315 2920/315 2810
         e-mail: stefania.gnesi at isti.cnr.it
         e-mail: labfmt at isti.cnr.it
         e-mail: trivella at isti.cnr.it