EXTERNAL LINKS
FM 2011 - Formal Methods Europe
Lero, University of Limerick, Limerick, Republic of Ireland - Wikipedia
SEW-34 Call for Papers: 34th Annual IEEE Software Engineering Workshop, Limerick, Ireland, 20-21 June 2011
Left: Lero bulding at the University of Limerick.
 
 
 
 
Right: Limerick bridge and castle.