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