Lyamin A. Method of Formal Program Verification for Post Machine Virtua l Laboratory. ICS [Internet]. 1Apr.2018 [cited 18May2024];(2):104-1. Available from: https://i-us.ru/index.php/ius/article/view/4331