Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Conference on Software Engineering and Formal Methods (11th : 2013 : Madrid, Spain)
Imprint:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, [2013] ©2013
Description:	1 online resource (xviii, 321 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 8137 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 8137. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Software engineering -- Congresses. Formal methods (Computer science) -- Congresses. Formal methods (Computer science) Software engineering. Software -- Congresses. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11080950

Hidden Bibliographic Details
Varying Form of Title:	SEFM 2013
Other authors / contributors:	Hierons, Robert M., editor. Merayo, M. G. (Mercedes G.), editor. Bravetti, Mario, editor.
ISBN:	9783642405617 3642405614 3642405606 9783642405600 9783642405600
Notes:	International conference proceedings. Includes bibliographical references and author index. Online resource; title from PDF title page (SpringerLink, viewed September 24, 2013).
Summary:	This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
Other form:	Printed edition: 9783642405600
Standard no.:	10.1007/978-3-642-40561-7

Similar Items