Henry McGloughlin Gerard O'Regan 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997 IWFM Workshops in Computing BCS 1997 db/conf/iwfm/iwfm1997.html