publicações selecionadas artigo de conferência An Institution for Alloy and Its Translation to Second-Order Logic. Advances in Intelligent Systems and Computing. 2013
