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