| |||
| программный продукт, не содержащий ошибок (путем разработки с использованием тестирования и формальной верификации на соответствие спецификации Alex_Odeychuk) | |||
| |||
| программный продукт, не содержащий ошибок (путем разработки с использованием тестирования и формальной верификации на соответствие спецификации Alex_Odeychuk) | |||
