کتاب های نویسنده Yoni Zohar (editor)

Formal Methods: Foundations and Applications: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science)

Published on: 2023

Intermediate novel English

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, …

Formal Methods Symposium Manaus SBMF 2023 Computer Science

Page 1 of 1