КОСТИРКО, Василь, Анатолій КОСТЕНКО, і Михайло ПЛЕША. «ЗАСТОСУВАННЯ СОЛВЕРІВ Z3 В СИСТЕМІ ВЕРИФІКАЦІЇ PYTHON–ПРОГРАМ». Інформаційні технології та суспільство, no. 1 (7) (Серпень 8, 2023): 36-43. дата звернення Листопад 23, 2024. http://journals.maup.com.ua/index.php/it/article/view/2610.