Метод семантичної верифікації застосувань у технології GPGPU за авторством Kryvyi, Serhii L., Pogorilyy, Sergiy D., Slynko, Maksym S., Kramov, Artem A.