1
Assuntos:
“...Verificação funcional - metodologia...”
DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC.
Dissertação