1
Outros Autores:
“...http://lattes.cnpq.br/1493664223350422...”
Automated verification and refutation of quantized neural networks
Dissertação