# content
About Safety, Security and yes, C++ and Rust (2023) (via bitfield) — discussion

#c++ #formalmethods #plt #rust #security