1
Assuntos:
“...Verificação Formal ou Estática...”
BVM: reformulação da metodologia de verificação funcional VeriSC.
Dissertação