World Congress on Formal Methods (3. : 2019 : Porto, Portugal)
"Every 10 years, the Symposium on Formal Methods organised by Formal Methods Europe takes the form of a World Congress."
"Every 10 years, the Symposium on Formal Methods organised by Formal Methods Europe takes the form of a World Congress."