КОСТИРКО, В.; КОСТЕНКО, А.; ПЛЕША, М. ЗАСТОСУВАННЯ СОЛВЕРІВ Z3 В СИСТЕМІ ВЕРИФІКАЦІЇ PYTHON–ПРОГРАМ. info-tech 2023, 36-43.