This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in …
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in …
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in …
This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in …
Partially translated from a Portuguese text of 1818 in 1880. Some Portuguese remains in places.