ISO/IEC WD TR 24772-6
Programming languages — Avoiding vulnerabilities in programming languages — Part 6: Vulnerability descriptions for programming language SPARK
Technologies de l'information — Langages de programmation — Conduite pour éviter les vulnérabilités dans les langages de programmation — Partie 6: Titre manque