“...International Symposium of Formal Methods Europe Kodaň, Dánsko)...”