publicações selecionadas artigo de conferência A Dynamic Logic for Every Season. International Journal on Software Tools for Technology Transfer. 2014
