OLIVEIRA, Filipe; OLIVEIRA, Elthon.
Especificações Alloy de Elementos da Lógica Proposicional. In: ENCONTRO UNIFICADO DE COMPUTAÇÃO DO PIAUÍ (ENUCOMPI), 14. , 2021, Picos.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2021
.
p. 215-222.
DOI: https://doi.org/10.5753/enucompi.2021.17774.