%0 Journal Article %A V. N. Aleeva %A P. A. Manatin %T Application of the design method for $Q$-efficient programs implementing dijkstra's algorithm %J Vestnik Ûžno-Uralʹskogo gosudarstvennogo universiteta. Seriâ Vyčislitelʹnaâ matematika i informatika %D 2023 %P 62-77 %V 12 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/VYURV_2023_12_2_a2/ %G ru %F VYURV_2023_12_2_a2