Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK. IEEE Computer Society, 2007.
Conference: SEFM2007
No references recorded for this publication.
No citations of this publication recorded.