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