Verimatrix registra queda de 11% na receita antipirataria no primeiro semestre