title: Information technology — Programming languages — Guide for the use of the Ada programming language in high integrity systems
title: Technologies de l'information — Langages de programmation — Guide pour l'emploi du langage de programmation Ada dans les systèmes de haute intégrité