Formal Methods: Foundations and Applications

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held  virtually in December 2022.   weiterlesen

zurück