TY - JOUR AU - V. N. Aleeva AU - P. A. Manatin TI - Application of the design method for $Q$-efficient programs implementing dijkstra's algorithm JO - Vestnik Ûžno-Uralʹskogo gosudarstvennogo universiteta. Seriâ Vyčislitelʹnaâ matematika i informatika PY - 2023 SP - 62 EP - 77 VL - 12 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VYURV_2023_12_2_a2/ LA - ru ID - VYURV_2023_12_2_a2 ER -