IEEE International Conference on Software Engineering and Formal Methods London, England, IEEE Computer Society, Hinchey, M. G., & Margaria-Steffen, T. (2007). SEFM 2007 Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England / edited by Mike Hinchey, Tziana Magaria ; sponsored by IEEE Computer Society ... [et al.]: Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England. IEEE Computer Society.
Chicago Style (17th ed.) CitationIEEE International Conference on Software Engineering and Formal Methods London, England, IEEE Computer Society, Michael G. Hinchey, and Tiziana Margaria-Steffen. SEFM 2007 Fifth IEEE International Conference on Software Engineering and Formal Methods : Proceedings : 12-14 September, 2007, London, England / Edited by Mike Hinchey, Tziana Magaria ; Sponsored by IEEE Computer Society ... [et Al.]: Fifth IEEE International Conference on Software Engineering and Formal Methods : Proceedings : 12-14 September, 2007, London, England. Los Alamitos, Calif.: IEEE Computer Society, 2007.
MLA (9th ed.) CitationIEEE International Conference on Software Engineering and Formal Methods London, England, et al. SEFM 2007 Fifth IEEE International Conference on Software Engineering and Formal Methods : Proceedings : 12-14 September, 2007, London, England / Edited by Mike Hinchey, Tziana Magaria ; Sponsored by IEEE Computer Society ... [et Al.]: Fifth IEEE International Conference on Software Engineering and Formal Methods : Proceedings : 12-14 September, 2007, London, England. IEEE Computer Society, 2007.