1
Assuntos:
“...CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO: METODOLOGIA E TÉCNICAS DA COMPUTAÇÃO: ENGENHARIA...”
Formal verification to ensuring the memory safety of C++ Programs
Dissertação