Options
Title
Fifth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007. Proceedings
Title Supplement
London, England, 10 - 14 September 2007
Person Involved
Corporate Author
IEEE Computer Society
Publisher
Publishing Place
Los Alamitos, Calif.
Publication Date
2007
ISBN
0-7695-2884-8
978-0-7695-2884-7