@article{VYURV_2023_12_2_a2, author = {V. N. Aleeva and P. A. Manatin}, title = {Application of the design method for $Q$-efficient programs implementing dijkstra's algorithm}, journal = {Vestnik \^U\v{z}no-Uralʹskogo gosudarstvennogo universiteta. Seri\^a Vy\v{c}islitelʹna\^a matematika i informatika}, pages = {62--77}, publisher = {mathdoc}, volume = {12}, number = {2}, year = {2023}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/VYURV_2023_12_2_a2/} }