Edição Atual
2023: Anais do XXVI Simpósio Brasileiro de Métodos Formais
Os Anais do XXVI Simpósio Brasileiro de Métodos Formais (SBMF 2023) trazem os artigos selecionados e apresentados na edição do evento realizado de 04 a 08 de dezembro de 2023, na cidade de Manaus/AM. Nesta edição, os anais incluem 09 artigos completos. Esses trabalhos foram selecionados através de um processo de revisão por pares do tipo peer-review. O comitê de programa do evento foi coordenado por Haniel Barbosa (UFMG, Brasil) e Yoni Zohar (Bar-Ilan University, Israel), que organizaram este volume. Os artigos que integram essa série de anais foram submetidos em 11/08/2023, aceitos para publicação em 15/09/2023, tendo a versão final submetida em 09/10/2023.
Para mais informações sobre o SBMF 2023, visite o site desta edição do evento.
Publicado:
04/12/2023
