Fechar
Singularity: um método para geração automática de casos de teste unitários baseado em contraexemplos de verificador de modelos para aplicações em C++

Lista de arquivos depositados em:

sid.inpe.br/mtc-m21c/2020/06.08.20.44

Nome Última modificação Tamanho
baixar
 :: publicacao_FA provisoria.pdf
19/01/2021 12:20 2.5 MiB
  2 arquivos escondidos
Fechar