O Simpósio Brasileiro de Métodos Formais ocorreu em Gramado de 19 a 21 de agosto