“...International Static Analysis Symposium Pisa : Itálie)...”