- ISSN 2519-2310 (Online)
Tolstoluzka, Olena, Харківський національний університет імені В. Н. Каразіна, Ukraine
-
Computer Science and Cybersecurity No. 4 (2016) - Статті
Сompilations method and semantic verification time parameterized of multiparallel programs
Abstract PDF (Русский)