A alteração foi descoberta por uma investigação do Instituto de Ciência da Computação
Zinco ganha provador virtual