publicações selecionadas Um Método para Verificação Formal e Dinâmica de Sistemas de Software Concorrentes
