Safer C. Developing Software for High-Integrity and Safety-Critical SystemsGregg ParkesÉpuiséPrévenez-moi