Oliveira, Filipe, AND 		Oliveira, Elthon.
" Especificações Alloy de Elementos da Lógica Proposicional" <em>Proceedings of the Unified Computing Meeting of Piauí (ENUCOMPI)</em> [Online], (23 November 2021)