publicações selecionadas artigo de conferência Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. International Journal on Software Tools for Technology Transfer. 2016
