Oliveira, F., & 		Oliveira, E.
(2021).
 Especificações Alloy de Elementos da Lógica Proposicional.
In <em>Proceedings of the 14th Unified Computing Meeting of Piauí and 11th Symposium on Information Systems</em>, (pp. 215-222). Porto Alegre: SBC.
doi:10.5753/enucompi.2021.17774