Digna
This document gives examples of proper safe programming. It demonstrates the techniques used to deliver a safe program and outlines necessary knowledge to support the safe programming.