Leonardo De Moura Books
Formal Methods Foundations and Applications
By Leonardo De Moura, Juliano Iyoda
This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presente...
Read More