6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003

Joseph M. Morris Benjamin Aziz Frédéric Oehl 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University. 11 July, 2003 IWFM Workshops in Computing BCS 2003 db/conf/iwfm/iwfm2003.html