1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia

1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia SEFM IEEE Computer Society 2003 0-7695-1949-0 db/conf/sefm/sefm2003.html