Gianluca Trentanni
Technical Staff
- System and Software Evaluation (SSE)
- Formal Methods and Tools (FMT)
- Servizio Biblioteca e Centro di Documentazione Scientifica (SB)
- Servizio Attività Logistiche (SAL)
Room: I-49a
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
Area della Ricerca CNR di Pisa
Via G. Moruzzi 1
56124 PISA - Italy
email: gianluca.trentanni@isti.cnr.it
Office: +39 050 6212922
Mobile: +39 335 7268954
Fax: +39 050 315 2810
Full publication list: click here