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