RUS
ENG
Full version
PEOPLE
Samovarov Dmitry Olegovich
Publications in Math-Net.Ru
System for static analysis of SystemVerilog HDL
Proceedings of ISP RAS
,
37
:1 (2025),
7–40
©
Steklov Math. Inst. of RAS
, 2025
