 |
| Russian | English |
| инструментальное средство формального доказательства корректности ПО | formal proof tool (корпорации AdaCore Alex_Odeychuk) |
| средство удаления вредоносного ПО | Malware Removal Tool (macOS, Apple Miyer) |
|
| Russian | English |
| инструментальное средство формального доказательства корректности ПО | formal proof tool (корпорации AdaCore Alex_Odeychuk) |
| средство удаления вредоносного ПО | Malware Removal Tool (macOS, Apple Miyer) |