RUS
ENG
Full version
PEOPLE
Shatokhin E A
Publications in Math-Net.Ru
Some methods of automatic analysis and controllable transformation of programs
Avtomat. i Telemekh.
, 2008, no. 8,
176–186
©
Steklov Math. Inst. of RAS
, 2024
