Voltar aos Detalhes da Edição
Linguagens e ferramentas utilizadas na especificação formal de software: uma revisão de escopo
Baixar
Baixar PDF