КОСТИРКО В, КОСТЕНКО А, ПЛЕША М. ЗАСТОСУВАННЯ СОЛВЕРІВ Z3 В СИСТЕМІ ВЕРИФІКАЦІЇ PYTHON–ПРОГРАМ. info-tech [інтернет]. 08, Серпень 2023 [цит. за 23, Листопад 2024];(1 (7):36-43. доступний у: http://journals.maup.com.ua/index.php/it/article/view/2610