TY  - JOUR
AU  - N. B. Malyshev
AU  - T. N. Smirnova
TI  - Automatic analysis of problem programs
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1974
SP  - 23
EP  - 31
VL  - 48
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1974_48_a4/
LA  - ru
ID  - ZNSL_1974_48_a4
ER  -