Software engineering and formal methods: sefm 2014 collocated workshops: hofm, safome, opencert, mokmasd, ws-fmds, grenoble, france, september 1-2, 2014, revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783319152004
Date de publication :
26 févr. 2015
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse