Outros Autores: “...http://lattes.cnpq.br/4475065926209027...”

Formal verification to ensuring the memory safety of C++ Programs