
Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science) (PDF/EPUB Version)
$19.99
Description
Author: Haniel Barbosa (editor), Yoni Zohar (editor)
Series:
Publisher: Springer
Year: 2023
Edition:
Language: English
ISSN: