Christiano Braga

1 published title

Formal methods: foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29 - October 1, 2014, proceedings

(Contributor)

1 edition