TY  - BOOK
AU  - Ефимкин,Кирилл Николаевич
AU  - Задыхайло,И.Б.
AU  - Пименов,С.П.
AU  - Шарипбаев,А.А.
TI  - № 84. Алгоритмы частичной верификации программы на ЯСП и их оценки
T2  - Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук
SN  - 2071-2898
PY  - 1983///
ER  -