Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Conference on Formal Engineering Methods (15th : 2013 : Queenstown, N.Z.)
Imprint:	Heidelberg : Springer, [2013] ©2013
Description:	1 online resource (xviii, 466 pages) : illustrations.
Language:	English
Series:	Lecture Notes in Computer Science, 0302-9743 ; 8144 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 8144. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Formal methods (Computer science) -- Congresses. Software engineering -- Congresses. Computer software -- Verification -- Congresses. Computer software -- Verification. Formal methods (Computer science) Software engineering. Software. Software Validation. Conference papers and proceedings. Electronic books. Congresses.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11081883

Hidden Bibliographic Details
Varying Form of Title:	ICFEM 2013
Other authors / contributors:	Groves, Lindsay, 1951- editor. Sun, Jing (Computer scientist), editor.
ISBN:	9783642412028 3642412025 3642412017 9783642412011 9783642412011
Digital file characteristics:	text file PDF
Notes:	International conference proceedings. Includes bibliographical references and index. Online resource; title from PDF title page (SpringerLink, viewed October 28, 2013).
Summary:	This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.
Other form:	Printed edition: 9783642412011
Standard no.:	10.1007/978-3-642-41202-8

Similar Items