Oliveira, F., & 		Oliveira, E.
(2021).
 Especificações Alloy de Elementos da Lógica Proposicional.
In <em>Anais do XIV Encontro Unificado de Computação do Piauí e XI Simpósio de Sistemas de Informação</em>, (pp. 215-222). Porto Alegre: SBC.
doi:10.5753/enucompi.2021.17774