ПІСКУНОВ, О., ТУПКО, Н., ВАСИЛЬЄВ, О. and ТОПІХА, Н. 2025. FORMAL TESTING OF REALVALUED FUNCTIONS. Information Technology and Society. 1 (16) (May 2025), 174-182. DOI:https://doi.org/10.32689/maup.it.2025.1.22.