Lyamin, A.V. “Method of Formal Program Verification for Post Machine Virtua L Laboratory”. Information and Control Systems, no. 2 (April 1, 2018): 104-114. Accessed May 18, 2024. https://i-us.ru/index.php/ius/article/view/4331.