Formalizando com a BelugaFormalizando com a Belugaprogramação.Definindo provas e processos emLógica na InformáticaFormalizando Processos com a BelugaUma visão geral de como definir processos e provas usando o Beluga.2025-07-16T08:59:48+00:00 ― 5 min ler