“...International Symposium of Formal Methods Europe Newcastle upon Tyne, Anglie)...”