Повернутися до подробиць статті
РОЗШИРЕННЯ ПІДХОДІВ ДО ІНТЕГРАЦІЇ ФОРМАЛЬНОЇ ВЕРИФІКАЦІЇ У CI/CD-КОНВЕЄРИ ЗАСОБАМИ МОДУЛЬНОЇ АРХІТЕКТУРИ ТА СХОВИЩ ЗНАНЬ
Завантажити
Завантажити PDF