@article{VMP_2009_10_1_a20,
     author = {S. V. Stepanov and A. G. Shishkin},
     title = {Using the static verification tools for checking the {ScopeShell} system},
     journal = {Numerical methods and programming},
     pages = {22--33},
     publisher = {mathdoc},
     volume = {10},
     number = {1},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMP_2009_10_1_a20/}
}