Formal Methods : Foundations and Applications
Subtitle: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
Publisher: Springer International Publishing AG
Published: 2022
Language: eng
ISBN-13: 9783030921361