English
Intermediate
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Simone Cavalheiro,José Fiadeiro (eds.)
2017
مشاهدهٔ کتاب