RUS
ENG
Full version
PEOPLE
Kompaniets Radion Ivanovich
Publications in Math-Net.Ru
Verification of Programs Based on Similarity Relations
Tr. SPIIRAN
,
38
(2015),
233–245
©
Steklov Math. Inst. of RAS
, 2024