Lvov, M.S., Kherson State University
-
No 2 (2015) - Theory and Methodology of Programming
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
Abstract PDF (Українська) -
No 4 (2011) - Theory and Methodology of Programming
About one Approach for the Verification of Algebraic Computations
Abstract PDF (Русский)







