Gianluca Trentanni

Collaboratore Tecnico Enti di Ricerca

• System and Software Evaluation (SSE)
• Formal Methods and Tools (FMT)

Stanza: 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

Ufficio: +39 050 6212922

Mobile: +39 335 7268954

Fax: +39 050 315 2810

Lista completa pubblicazioni: Clicca qui