لیست کتاب های کلمه کلیدی: #Brazilian Symposium

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Published on: 2018
Intermediate novel English

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in …

Formal Methods Foundations Applications Brazilian Symposium SBMF 2018
Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Programming and Software Engineering)
Published on: 2021
Intermediate novel English

This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in …

Formal Methods Foundations Brazilian Symposium SBMF 2021 Proceedings

Page 1 of 1