LYAMIN, A. Method of Formal Program Verification for Post Machine Virtua l Laboratory. Information and Control Systems, n. 2, p. 104-114, 1 abr. 2018.