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 (Українська)
ISSN 1727-4907 (Print)
EDITORIAL TEAM
» Editor-in-Chief:
Dr. Sci. (Engin.), Senior Research Scientist Igor Sinitsyn (ISS NASU, Ukraine)
» Senior Editor:
Shevchenko V.L. (ISS NASU, Ukraine)
» Editorial Board Members:
Dr. Sci. (Phys. & Math.), Academician of NASU Philip Andon (ISS NASU, Ukraine)
Dr. Sci. (Phys. & Math.), Senior Research Scientist Oleksiy Ignatenko (ISS NASU, Ukraine)
Dr. Sci. (Phys. & Math.) Anatoly Anisimov (Taras Shevchenko National University, Ukraine)
Dr. Sci. (Phys. & Math.), Senior Research Scientist Oleksandr Balabanov (ISS NASU, Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Mykola Glybovets (National University of Kyiv-Mohyla Academy, Ukraine)
Dr. Sci. (Engin.), Assoc. Prof. Andrii Glybovets (National University of Kyiv-Mohyla Academy, Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Anatoliy Doroshenko (NTUU "KPI", Ukraine)
Dr. Sci. (Engin.), Prof. Nataliia Kussul (Space Research Institute NASU, Ukraine)
PhD in Computer Science, Assoc. Prof. Artur Korniłowlcz (Institute of Informatics, University of Bialystok, Poland)
Dr. Sci. (Engin.), Assoc. Prof. Nadezhda Nedashkovskaya (Institute for Applied System Analysis of NTUU "KPI", Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Mykola Nikitchenko (Taras Shevchenko National University, Ukraine)
Dr. Sci. (Phys. & Math.), Serhii Pashko (ISS NASU, Ukraine)
Dr. Sci. (Engin.), Prof. Andrii Peleshchyshyn (National University "Lviv Polytechnic", Ukraine)
Dr. Sci. (Engin.), Prof. Serhii Pogorilyy (Taras Shevchenko National University, Ukraine)
Dr. Sci. (Engin.), Prof. Volodymyr Pasichnyk (National University "Lviv Polytechnic", Ukraine)
Dr. Sci. (Phys. & Math.), Prof. Alexander Provotar (Taras Shevchenko National University, Ukraine)
Dr. Sci. (Phys. & Math.), Academician of NASU, Prof. Ivan Sergienko (Glushkov Institute of Cybernetics NASU, Ukraine)
Dr. Sci. (Engin.), Prof. Nikolay Sydorov (Interregional Academy of Personnel Management, Ukraine)
Dr. Sci. (Engin.), Prof. Sergii Telenyk (NTUU "KPI", Ukraine)
PhD in Computer Science, Assoc. Prof. Ladislav Hluchy (Institute of Informatics SAS, Slovakia)