|Scientific curriculum vitae
Disclaimer and Acknowledgements
Formal Methods && Tools Group
Istituto di Scienza e Tecnologie dell'Informazione
Consiglio Nazionale delle Ricerche
Area della Ricerca di Pisa
Via G. Moruzzi 1
Office phone: +39-050-6213471
Office fax: +39-050-3152040
U got 2 find the answers 2 the questions that U most fear
Think! It ain't illegal yet!
Most of the papers made available via my homepage have appeared in print and their copyright is often held by the publisher. Hence, while these papers can be used for personal academic use, their redistribution or reprinting for commercial purposes is prohibited.