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