«Аналіз існуючих технологій верифікації паралельних програм», МІА, вип. 46, с. 76–81, Чер 2020, doi: 10.26565/2304-6201-2020-46-07.