 |
| English | Russian |
| formal methods toolsuite | интегрированный инструмент формальной верификации (русс. термин "интегрированный инструмент" для перевода взят из кн.: Шефер К., Хо К., Харроп Р. Spring 4 для профессионалов Alex_Odeychuk) |
|
| English | Russian |
| formal methods toolsuite | интегрированный инструмент формальной верификации (русс. термин "интегрированный инструмент" для перевода взят из кн.: Шефер К., Хо К., Харроп Р. Spring 4 для профессионалов Alex_Odeychuk) |