 |
| Russian | English |
| виды деятельности по верификации программного обеспечения | sorts of verification activities (корпорации AdaCore Alex_Odeychuk) |
| комплект поставки ПО в скомпилированном виде | binary distribution (University of Melbourne, Австралия Alex_Odeychuk) |
| полный комплект поставки ПО в скомпилированном виде | complete binary distribution (Alex_Odeychuk) |