publicações selecionadas artigo académico Partial derivative automata formalized in coq. International Journal on Software Tools for Technology Transfer. 2011
