Introdução à Linguagem de Especificação Formal Quint | Esquenta SE4FP 2025 com Gabriela Moreira

Neste episódio especial do Elixir em Foco, você confere uma palestra seguida de bate-papo com Gabriela Moreira, Engenheira de Pesquisa na Informal Systems e Mestre em Computação Aplicada pela UDESC, sobre a linguagem de especificação Quint. O encontro faz parte do Esquenta SE4FP 2025 (Workshop de E...