TY  - BOOK
AU  - Андерсон,Роберт
AU  - Зобнина,Б.Н.
AU  - Подшивалов,Д.Б.
TI  - Доказательство правильности программ
PY  - 1982///
CY  - Москва
PB  - Мир
KW  - Цифровые вычислительные машины - Математическое обеспечение - Надежность
N1  - Перевод изд.: Proving programs correct /Robert B. Anderson (New York etc., 1979)
ER  -