%0 Thesis
%T Formal verification to ensuring the memory safety of C++ Programs
%U https://tede.ufam.edu.br/handle/tede/7762
%I Universidade Federal do Amazonas