Software engineering and formal methods. sefm 2021 collocated workshops: cifma, cosim-cps, opencert, asyde, virtual event, december 6–10, 2021, revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783031124280
Date de publication :
25 sept. 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse