Outros Autores: “...https://orcid.org/0000-0001-9420-9056...”

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