Dr. Raffaella Gentilini

new address

I left the Embedded Systems Group end of 2008. After a stay at the Formal Methods and Verification Group at Université Libre de Bruxelles, I became an assistant professor at the University of Perugia.

links

• Publications