Fechar
A rigorous evaluation of the benefits of usability improvements within model checking-aided software inspections

Lista de arquivos depositados em:

sid.inpe.br/mtc-m21b/2017/08.17.18.15

Nome Última modificação Tamanho
 :: santos_rigorous.pdf             05/10/2017 13:31 1.0 MiB
  2 arquivos escondidos
Fechar