Formal Methods Wiki
FM 2011 Logo.jpg

FM 2011, the 17th International Symposium on Formal Methods, is a formal methods conference being held at the University of Limerick, on the edge of the city of Limerick, Republic of Ireland, 20–24 June 2011. It is organized under the auspices of Formal Methods Europe. The local organizer is Lero.

See also[]

External links[]