Antonio Cerone Stefan Gruner Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008 978-0-7695-3437-4 SEFM IEEE Computer Society 2008 db/conf/sefm/sefm2008.html