Moroz, Olha Yuriivna, Ukraine

• Bulletin of V.N. Karazin Kharkiv National University, series «Mathematical modeling. Information technology. Automated control systems» Vol. 46 (2020) - Статті
  Analysis of existing parallel programs verification technologies
  Abstract  PDF