Нагибин, Д. В., Петренко, А. С., Давыденко, В. С., Котенко, И. В., & Федорченко, Е. В. (2025). Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах. Информатика и автоматизация, 24(2), 526-555. https://doi.org/10.15622/ia.24.2.6