RUS
ENG
Full version
PEOPLE
Stepanov Sergei Vital'evich
Publications in Math-Net.Ru
Using the static verification tools for checking the ScopeShell system
Num. Meth. Prog.
,
10
:1 (2009),
22–33
©
Steklov Math. Inst. of RAS
, 2024