Formal Methods and Tools Laboratory (FMT)
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
Area della Ricerca CNR di Pisa
Via G. Moruzzi 1
56124 PISA - Italy
email: | diego.latella@isti.cnr.it |
office: | +39 050 621 2982 |
mobile: | +39 348 8283101 |
fax: | +39 050 315 2040 |
homepage: | http://www1.isti.cnr.it/~latella/ |
publications: | click here |
building: | B |
gate: | 19 |
floor: | 1 |
room: | C-28 |