Spec-Zone.ru › Ada 95 Справочник по Ada 95 H.3 Проверяемый объектный код Обзор и проверка объектного кода поддерживаются директивами Reviewable и Inspection_Point.