Dr. Raffaella Gentilini

new address

In January 2009, I joined the Formal Methods and Verification Group at Université Libre de Bruxelles.

links

• Publications