Stepanov, S. and Shishkin, A. (2009) “Using the static verification tools for checking the ScopeShell system”, Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie), 10(19), pp. 22–33. Available at: https://en.num-meth.ru/index.php/journal/article/view/357 (Accessed: 29 April 2024).