[1]
Tolstoluzka, O., Tolstoluzkiy, D. і Moroz, O. 2017. Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм. Комп’ютерні науки та кібербезпека. 4 (Бер 2017), 26-34.