publicações selecionadas artigo de conferência A Dynamic Logic for Every Season. Computational Methods in Applied Sciences. 2014
