Maksymets, O.M., Kiev Taras Shevchenko National University
-
No 2-3 (2012) - Formal methods of programming
Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
Abstract PDF (Українська) -
No 2-3 (2014) - Formal methods of programming
Development and substantiation of algorithms based on semantic properties
Abstract PDF (Русский)