“...International Symposium of Formal Methods Europe Pisa, Itálie)...”