5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001

Andrew Butterfield Glenn Strong Claus Pahl 5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001 IWFM Workshops in Computing BCS 2001 db/conf/iwfm/iwfm2001.html