Formal methods and software engineering
Subtitle: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings
By: Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie (eds.).
Contributors: Butler, Michael, 1967-; Hinchey, Michael G. 1969-; Larrondo-Petrie, María M.
Series: Lecture notes in computer science -- 4789; LNCS sublibrary
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 386
ISBN-13: 9783540766483
Subjects: Formal methods (Computer science) -- Congresses; Software engineering -- Congresses
Genres: Congresses.
Other titles: 9th International Conference on Formal Engineering Methods; Ninth International Conference on Formal Engineering Methods; International Conference on Formal Engineering Methods; ICFEM 2007
Notes: Includes bibliographical references and index.