Maksymets, A.N.
-
No 1 (2014) - Program verification
Verification of programs: status, problems and experimental results. II
Abstract PDF (Русский) -
No 4 (2013) - Program verification
Verification of programs: status, problems and experimental results. I
Abstract PDF (Русский)







