%0 Journal Article
%A S. V. Stepanov
%A A. G. Shishkin
%T Using the static verification tools for checking the ScopeShell system
%J Numerical methods and programming
%D 2009
%P 22-33
%V 10
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMP_2009_10_1_a20/
%G ru
%F VMP_2009_10_1_a20