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 Edit
External links Edit
Ad blocker interference detected!
Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers
Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.