Juliano Iyoda profile picture

Juliano Iyoda

Stand Alone

Formal Methods : Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings