“...International Symposium of Formal Methods Europe Berlín, Německo)...”