Software engineering and formal methods. sefm 2020 collocated workshops: asyde, cifma, and cosim-cps, amsterdam, the netherlands, september 14–15, 2020, revised selected papers
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030672195
Date de publication :
17 janv. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse