Formal methods: foundations and applications: 23rd brazilian symposium, sbmf 2020, ouro preto, brazil, november 25–27, 2020, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030638818
Date de publication :
20 nov. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020.