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

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

Conference: iwfm2003

Abstract

Abstract is missing.

Table of Contents