Компіляційно-семантична верифікація часопараметризованих мультипаралельних програм для інформаційних управляючих систем. МІА [інтернет]. 26, Грудень 2022 [цит. за 25, Жовтень 2026];56:43-50. доступний у: https://periodicals.karazin.ua/mia/article/view/27690