Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.)
Imprint:	Berlin ; New York : Springer, ©2007.
Description:	1 online resource (x, 386 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 4789 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 4789. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Formal methods (Computer science) -- Congresses. Software engineering -- Congresses. Formal methods (Computer science) Software engineering. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11066772

Hidden Bibliographic Details
Varying Form of Title:	9th International Conference on Formal Engineering Methods Ninth International Conference on Formal Engineering Methods International Conference on Formal Engineering Methods ICFEM 2007
Other authors / contributors:	Butler, Michael, 1967- Hinchey, Michael G. (Michael Gerard), 1969- Larrondo-Petrie, María M.
ISBN:	9783540766506 3540766502 9783540766483 3540766480
Notes:	Includes bibliographical references and index. Print version record.
Summary:	This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with 2 invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on security and knowledge, embedded systems, testing, automated analysis, hardware and concurrency.
Other form:	Print version: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.). Formal methods and software engineering. Berlin ; New York : Springer, ©2007 9783540766483 3540766480
Standard no.:	10.1007/978-3-540-76650-6

Similar Items