 |
| English | Russian |
| compile-time verification | формальная верификация во время компиляции (Alex_Odeychuk) |
| correctness at compile time | корректность во время выполнения (InfoWorld Alex_Odeychuk) |
|
| English | Russian |
| compile-time verification | формальная верификация во время компиляции (Alex_Odeychuk) |
| correctness at compile time | корректность во время выполнения (InfoWorld Alex_Odeychuk) |