Поиск

Применение формальных методов при проектировании коллаборационной системы противовирусной защиты

Авторы: Шарыкин, Р. Е. Курбацкий, А. Н.
Подробная информация
Применение формальных методов при проектировании коллаборационной системы противовирусной защиты
Р. Е. Шарыкин, А. Н. Курбацкий
Дата издания оригинала 2020