publicações selecionadas Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução
