Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops
Subtitle: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Publisher: Springer London, Limited
Published: 2014
Language: eng
ISBN-13: 9783319050324