1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia. IEEE Computer Society, 2003.
Conference: SEFM2003
No references recorded for this publication.
No citations of this publication recorded.