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 / edited by Steve Counsell, Manuel Núñez.

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...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Authors:	International Conference on Software Engineering and Formal Methods, International Workshop on Behavioral Types Workshop, Workshop on Formal Methods in the Development of Software, Workshop on a Formal Methods Body of Knowledge for Railway Control and Safety Systems, International Symposium on Modelling and Knowledge Management for Sustainable Development, International Workshop on Foundations and Techniques for Open Source Software Certification
Other Authors:	Counsell, Steve (Editor), Núñez, Manuel (Professor) (Editor)
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, 2014.
Series:	Lecture notes in computer science ; 8368. LNCS sublibrary. Programming and software engineering.
Subjects:	Software engineering > Congresses. Formal methods (Computer science) > Congresses. Formal methods (Computer science) Software engineering. Conference papers and proceedings.