publicações selecionadas artigo de conferência Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. Computational Methods in Applied Sciences. 2016
