- ISSN 2519-2310 (Online)
Tolstoluzkiy, Dmitriy, Харківський національний університет імені В. Н. Каразіна, Україна
-
Комп’ютерні науки та кібербезпека № 4 (2016) - Статті
Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм
Анотація PDF (Русский)