1. Lyamin A. Method of Formal Program Verification for Post Machine Virtua l Laboratory // Information and Control Systems. 2018. № 2. C. 104-114.