КОСТИРКО, В.; КОСТЕНКО, А.; ПЛЕША, М. ЗАСТОСУВАННЯ СОЛВЕРІВ Z3 В СИСТЕМІ ВЕРИФІКАЦІЇ PYTHON–ПРОГРАМ. Інформаційні технології та суспільство, [S. l.], n. 1 (7), p. 36-43, 2023. DOI: 10.32689/maup.it.2023.1.5. Disponível em: http://journals.maup.com.ua/index.php/it/article/view/2610. Acesso em: 23 лис. 2024.