Leonardo De Moura profile picture

Leonardo De Moura

Is this your author profile? Create an account to claim and customize it!

Stand Alone

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