Os Anais do Simpósio Brasileiro de Métodos Formais (SBMF) não são publicados nem estão indexados na SBC OpenLib. Para obter informações sobre onde encontrar os artigos do SBMF, entre em contato com a Comissão Especial de Métodos Formais (CE-MF).