Formal Methods : Foundations and Applications
Subtitle: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031781155
Subjects: Computer sound processing; Artificial intelligence; Computer science; Computer architecture; Computer networks; Computer software, development