Підвищення ефективності програмних засобів автоматизованої верифікації результатів компіляції програмних проєктів критичних інформаційно-управляючих систем

Розробка програмних інструментів підвищення ефективності застосування програмних засобів автоматизованої верифікації результатів компіляції програм...

Перегляд Елементу