 |
|
| Director of Research at ISTI-CNR |
|
| |
|
| Leader of the Formal Methods and Tools Laboratory |
|
| |
|
| ISTI: Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" of CNR |
|
| |
|
Via Moruzzi 1 I-56124 PISA ITALY Office: +39-050 315 2918 Secretary: +39-050 315 2920 fax:+39-050 315 2920/315 2810 e-mail: stefania.gnesi 
isti.cnr.it http://fmt.isti.cnr.it/~gnesi |
|