formally verifiable
| programming language
| formally verifiable | |
| softw. | формально верифицированный |
| programming language | |
| IT | программирующий язык |
| progr. | язык программирования |
| |||
| формально верифицированный (adacore.com Alex_Odeychuk) | |||
|
formally verifiable : 3 phrases in 1 subject |
| Programming | 3 |