Analysis of existing parallel programs verification technologies
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
V. N. Karazin Kharkiv National University
2020-06-01
|
| Series: | Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління |
| ISSN: | 2304-6201 2524-2601 |
|---|