На данной странице предаставлены все книги автора «Thierry Lecomte»
Formal Methods. Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings (Leila Ribeiro,Thierry Lecomte)