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