publicações selecionadas artigo de conferência On Kleene Algebras for Weighted Computation. International Journal on Software Tools for Technology Transfer. 2017
