Stepanov S, Shishkin A. Using the static verification tools for checking the ScopeShell system. Num. Meth. Prog. [Internet]. 2009 Jan. 14 [cited 2024 Apr. 29];10(19):22-33. Available from: https://en.num-meth.ru/index.php/journal/article/view/357