КОСТИРКО, Василь, Анатолій КОСТЕНКО, і Михайло ПЛЕША. 2023. «ЗАСТОСУВАННЯ СОЛВЕРІВ Z3 В СИСТЕМІ ВЕРИФІКАЦІЇ PYTHON–ПРОГРАМ». Інформаційні технології та суспільство, вип. 1 (7) (Серпень):36-43. https://doi.org/10.32689/maup.it.2023.1.5.