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