Gå direkte til innholdet
Formal Methods: Foundations and Applications
Spar

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021.
Undertittel
24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings
Opplag
1st ed. 2021
ISBN
9783030921361
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
26.11.2021
Antall sider
141