Перегляд Формальні методи верифікації програмного забезпечення: сучасні підходи та виклики

Повернутися до подробиць випуску Формальні методи верифікації програмного забезпечення: сучасні підходи та виклики Завантажити Завантажити PDF