Повернутися до інформації про статтю
Аналіз існуючих технологій верифікації паралельних програм
Завантажити
Завантажити PDF