کتاب های نویسنده Thierry Lecomte (eds.)

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Published on: 2016

Intermediate novel English

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in …

Formal Methods Foundations SBMF 2016 Natal Proceedings

Page 1 of 1