Software engineering and formal methods : SEFM 2013 collocated workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers /

Software engineering and formal methods : SEFM 2013 collocated workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers /

Saved in:

Bibliographic Details
Imprint:	Berlin : Springer, 2014.
Description:	1 online resource.
Language:	English
Series:	Lecture notes in computer science ; 8368. SL2, Programming and Software Engineering LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 8368. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Software engineering -- Congresses. Formal methods (Computer science) -- 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/11083705

Hidden Bibliographic Details
Other authors / contributors:	Counsell, Steve. Núñez, Manuel (Professor) International Conference on Software Engineering and Formal Methods (11th : 2013 : Madrid, Spain) International Workshop on Behavioral Types Workshop (2nd : 2013 : Madrid, Spain) Workshop on Formal Methods in the Development of Software (3rd : 2013 : Madrid, Spain) Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems (2013 : Madrid, Spain) International Symposium on Modelling and Knowledge Management for Sustainable Development (2013 : Madrid, Spain) International Workshop on Foundations and Techniques for Open Source Software Certification (7th : 2013 : Madrid, Spain)
ISBN:	9783319050324 331905032X 9783319050317 3319050311
Digital file characteristics:	text file PDF
Notes:	Revised conference papers.
Summary:	Contains selected papers of the workshops collocated with the 11th International Conference on Software Engineering and Formal Methods, SEFM 2013: Second International Workshop on Behavioral Types Workshop, BEAT ; Third Workshop on Formal Methods in the Development of Software, WS-FMDS ; Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems, FM-RAIL-BOK ; International Symposium on Modelling and Knowledge Management for Sustainable Development, MoKMaSD ; Seventh International Workshop on Foundations and Techniques for Open Source Software Certification, OpenCert.
Other form:	Printed edition: 9783319050317
Standard no.:	10.1007/978-3-319-05032-4