Sousa, F. R. M., http://lattes.cnpq.br/4475065926209027, & https://orcid.org/0000-0001-9420-9056. (2020). Formal verification to ensuring the memory safety of C++ Programs. Universidade Federal do Amazonas.
Citação Padrão ChicagoSousa, Felipe Rodrigues Monteiro, http://lattes.cnpq.br/4475065926209027, and https://orcid.org/0000-0001-9420-9056. Formal Verification to Ensuring the Memory Safety of C++ Programs. Universidade Federal do Amazonas, 2020.
Citação MLASousa, Felipe Rodrigues Monteiro, http://lattes.cnpq.br/4475065926209027, and https://orcid.org/0000-0001-9420-9056. Formal Verification to Ensuring the Memory Safety of C++ Programs. Universidade Federal do Amazonas, 2020.