BCS is a registered charity: No 292786
Dublin, Ireland. 16-17 July 2001
IWFM'01 is the Fifth International Workshop in Formal Methods. It follows in the series of workshops organised by the Irish Formal Methods Special Interest Group (IFMSIG) and previously known as the Irish Workshop in Formal Methods. This year it was held in Dublin City University on 16-17 July, 2001.