@article{Сванидзе2025верификация,
author={Сванидзе, В.О. and Зольников, К.В. and Сазонова, С.А. and Дорохов, В.А. and Харченко, М.Э.},
title={ВЕРИФИКАЦИЯ И ГЕНЕРАЦИЯ ТЕСТОВ СЛОЖНЫХ ЦИФРОВЫХ СИСТЕМ},
conference={МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ И ТЕХНОЛОГИЙ – 2025},
publisher={Воронежский государственный лесотехнический университет имени Г.Ф. Морозова},
year={2025},
pages={414-423},
}