Formal methods: foundations and applications: 26th brazilian symposium, sbmf 2023, manaus, brazil, december 4–8, 2023, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031493416
Date de publication :
2 déc. 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse