Michele Boreale

Professore Visitatore

• Formal Methods and Tools (FMT)

Stanza: I-48

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

Fax: +39 050 315 2810

Lista completa pubblicazioni: Clicca qui