Formalization of modular algorithms for terrain modelingVladimir Georgievich KulikovE3S Web Conf., 533 (2024) 03008DOI: https://doi.org/10.1051/e3sconf/202453303008
