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
Edición de la obra Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops
| Autor | Steve Counsell, Manuel Núñez |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| ISBN-13 | 9783319050324 |
| Número de Cutter | C855s |