Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління (Jun 2020)

Analysis of existing parallel programs verification technologies

  • Olha Yuriivna Moroz,
  • Olena Gennadiivna Tolstoluzka,
  • Roman Valeriyovich Savchenko

DOI
https://doi.org/10.26565/2304-6201-2020-46-07
Journal volume & issue
no. 46

Abstract

Read online

No abstracts available.