TY  - BOOK
AU  - Риш, Д. Г.
AU  - Шура-Бура,Михаил Романович
TI  - № 124. Автоматизация аттестации программ. Описание предметной области
T2  - Препринты ИПМ им. М.В. Келдыша / Институт прикладной математики имени М.В. Келдыша Российской академии наук
SN  - 2071-2898
PY  - 1982///
ER  -