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