List of resources about programming practices for writing safety-critical software.
Primary LanguageMakefile