RUS
ENG
Full version
PEOPLE
Belokrylov Petr Jur'evich
Publications in Math-Net.Ru
Effectiveness's enhancement of construction end-to-end design system by sequential integration of verified calculating software
Informatsionnye Tekhnologii i Vychslitel'nye Sistemy
, 2014, no. 2,
89–95
©
Steklov Math. Inst. of RAS
, 2024