کتاب های نویسنده Vince Molnár

Formal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

Published on: 2022

Intermediate novel English

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually …

Formal Methods Foundations Applications SBMF 2022 Proceedings

Page 1 of 1