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