 |
поддержка формального анализа
| исходного кода
| поддержка формального анализа | |
| softw. | formal analysis support |
| исходный код | |
| comp., net. | code |
| math. | original code |
| progr. | sourcecode; back code |
| sec.sys. | initial code |
| tech. | source code; source |
| исходный код Basic | |
| progr. | Basic source code |
| исходный код Ruby | |
| progr. | Ruby source |
| |||
| formal analysis support (Alex_Odeychuk) | |||
| поддержка формального анализа: 1 phrase in 1 subject |
| Programming | 1 |