guidelines - c++ best practices - edu.lat

safety critical - nist - ¿Qué idiomas se usan para el software de seguridad crítica?

c++ - tools - Conjuntos de reglas para cppcheck

programa - Métodos formales en C++ para software crítico de seguridad.