%0 Thesis
%T Automated verification and refutation of quantized neural networks
%U https://tede.ufam.edu.br/handle/tede/8845
%I Universidade Federal do Amazonas