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