На данной странице предаставлены все книги автора «Juliano Iyoda»
Formal Methods. Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Juliano Iyoda,Leonardo de Moura)