N. B. Malyshev, T. N. Smirnova, “Automatic analysis of problem programs”, Zap. Nauchn. Sem. LOMI, 1974, Volume 48,Pages <nobr>23

RUS ENG

JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

Zap. Nauchn. Sem. LOMI, 1974 Volume 48, Pages 23–31 (Mi znsl2785)

Automatic analysis of problem programs

N. B. Malyshev, T. N. Smirnova

UDC: 681.3.06