EN ورود

کشف منابع

SBMF 2022

کتاب‌ها

1 نتیجه

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

English Intermediate

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

Lucas Lima,Vince Molnár

2022 مشاهدهٔ کتاب