 |
| |||
| high-integrity application (с подтверждением корректного написания исходного кода, правильного взаимодействия компонентов, отсутствия скрытых ошибок, заплаток и неавторских модификаций; компании AdaCore Alex_Odeychuk) | |||
| приложение с высоким уровнем полноты безопасности: 3 phrases in 1 subject |
| Programming | 3 |