Gå direkt till innehållet
Formal Methods: Foundations and Applications
Spara

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.
Undertitel
24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings
Upplaga
1st ed. 2021
ISBN
9783030921361
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2021-11-26
Sidor
141