title: Information technology — Programming languages — Guidance for the use of the Ada Ravenscar Profile in high integrity systems
title: Technologies de l'information — Langages de programmation — Guide pour l'usage du profil "Ada Ravenscar" dans les systèmes de haute intégrité