Formal Methods : Foundations and Applications

Formal Methods : Foundations and Applications

24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

ka Sergio Campos
2/5
E gatisitswe la ntlha
2022
Bagatisi
Springer International Publishing AG
Puo
English

Dibuka

Dibuka tse di tshwanang