На данной странице предаставлены все книги автора «Christiano Braga»
Formal Methods. Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings (Christiano Braga,Narciso Martí-Oliet)