SEFM 2007
Subtitle: Fifth IEEE International Conference on Software Engineering and Formal Methods :  proceedings :  12-14 September, 2007, London, England
By: edited by Mike Hinchey, Tziana Magaria ; sponsored by IEEE Computer Society ... [et al.].
Contributors: Hinchey, Michael G. 1969-; Margaria-Steffen, Tiziana, 1964-; IEEE Computer Society.
Publisher: IEEE Computer Society
Published: 2007
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 402
ISBN-13: 9780769528847
Subjects: Software engineering -- Congresses.; Formal methods (Computer science) -- Congresses.
Genres: Congresses.
Other titles: Fifth IEEE International Conference on Software Engineering and Formal Methods
Notes: "IEEE Computer Society Order Number P2884"--T. p. verso.

Includes bibliographical references and author index.