Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK SEFM IEEE Computer Society 2007 978-0-7695-2884-7 db/conf/sefm/sefm2007.html