Formal Methods && Tools Group

Stefania Gnesi


foto2.jpg


OFFICE


Istituto di Scienza e Tecnologie dell'Informazione “Alessandro Faedo”
Area della Ricerca CNR di Pisa
Via G. Moruzzi 1 56124 PISA - Italy

email: stefania.gnesi at isti.cnr.it
mobile: +39 348 8283128
phone: +39 050 621 2918 (050 315 2918) (Secretary: +39 050 315 2920)
fax: +39 050 315 2920 or +39 050 315 2810
building: B
gate: 15
floor: 1
room: I-47 I-48