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