 |
| |||
| инструмент формальной верификации (adacore.com Alex_Odeychuk) | |||
|
formal verification tool : 3 phrases, 2 sujets |
| Logiciel | 2 |
| Programmation | 1 |
|
| |||
| инструмент формальной верификации (adacore.com Alex_Odeychuk) | |||
|
formal verification tool : 3 phrases, 2 sujets |
| Logiciel | 2 |
| Programmation | 1 |