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