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