Latella Diego
Research Staff
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 |
To people by name / by group
comments to webmaster