RUS
ENG
Full version
PEOPLE
Voronov Mikhail Vladimirovich
Publications in Math-Net.Ru
Formalization of regulatory texts
Informatics and Automation
,
20
:3 (2021),
562–590
©
Steklov Math. Inst. of RAS
, 2026
