Description
About this book
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. An English-language digital edition by Steve Counsell (Editor); Manuel Núñez (Editor), available in PDF.
Edition details
- Author / contributors: Steve Counsell (Editor); Manuel Núñez (Editor)
- Publisher: Springer International Publishing
- Publication date: July 08, 2014
- Language: English
- ISBNs: 9783319050317; 9783319050324
- Digital formats: PDF





Reviews
There are no reviews yet.