1
Assuntos:
“...Memory safety...”
Týr : a dependent type based code transformation for spatial memory safety in LLVM
Dissertação
2
Assuntos:
“...Memory Safety...”
Formal verification to ensuring the memory safety of C++ Programs
Dissertação