| |||
| выполнить формальное доказательство отсутствия ошибок времени выполнения (overflows, reading of uninitialized variables etc. alex_) | |||
| выполнить формальное доказательство отсутствия ошибок времени выполнения (overflows, constraint errors, reading of uninitialized variables etc. Alex_Odeychuk) | |||
