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