publicações selecionadas artigo de conferência Structured Specification of Paraconsistent Transition Systems} 2023
