НАГИБИН, Д. В.; ПЕТРЕНКО, А. С.; ДАВЫДЕНКО, В. С.; КОТЕНКО, И. В.; ФЕДОРЧЕНКО, Е. В. Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах. Информатика и автоматизация, v. 24, n. 2, p. 526-555, 1 abr. 2025.