Safer C: Developing Software for High-Integrity and Safety-Critical SystemsGregg ParkesAusverkauft4,1Bewachen