RUS
ENG
Full version
PEOPLE
Nagibin Dmitry Vladimirovicch
Publications in Math-Net.Ru
Invasive approach to verification of functional and structural specifications implemented in custom integrated circuits
Informatics and Automation
,
24
:2 (2025),
526–555
©
Steklov Math. Inst. of RAS
, 2025
