Savchenko, Roman Valeriyovich, Україна
-
Вісник Харківського національного університету імені В.Н. Каразіна, серія «Математичне моделювання. Інформаційні технології. Автоматизовані системи управління» Том 46 (2020) - Статті
Аналіз існуючих технологій верифікації паралельних програм
Анотація PDF (English)