&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Препринты ИПМ им.М.В.Келдыша. &mdash; 1983. &mdash; Москва: ИПМ им. М. В. Келдыша РАН.<br><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;№ 84. Алгоритмы частичной верификации программы на ЯСП и их оценки / К. Н. Ефимкин, И. Б. Задыхайло, С. П. Пименов, А. А. Шарипбаев. &mdash; 1983(Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук). &mdash; ISSN 2071-2898 (Print). &mdash; ISSN 2071-2901 (Online).<br><br><br>Ефимкин, Кирилл Николаевич<br>Задыхайло, И. Б.<br>Пименов, С. П.<br>Шарипбаев, А. А.<br><br>[ SYS NUM: 26575 ]