Lyamin, A. 2018. Method of Formal Program Verification for Post Machine Virtua l Laboratory. Information and Control Systems. 2 (Apr. 2018), 104-114. DOI:https://doi.org/10.15217/issn1684-8853.2018.2.104.