Browsing by Subject Verificação Formal ou Estática
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
16-Jun-2010 | BVM: reformulação da metodologia de verificação funcional VeriSC. | OLIVEIRA, Helder Fernando de Araújo. |
Issue Date | Title | Author(s) |
---|---|---|
16-Jun-2010 | BVM: reformulação da metodologia de verificação funcional VeriSC. | OLIVEIRA, Helder Fernando de Araújo. |