Lyamin, A.V. 2018. “Method of Formal Program Verification for Post Machine Virtua L Laboratory”. Information and Control Systems, no. 2 (April), 104-14. https://doi.org/10.15217/issn1684-8853.2018.2.104.