Formal Methods: Foundations and Applications
27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Autor:
Sidney C. Nogueira, Ciprian Teodorov
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
358.98
lei
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Fo...