S. A. Abramov, “Models of sets of sequences and program verification”, Zh. Vychisl. Mat. Mat. Fiz., 1980, Volume 20, Number 5,Pages <nobr>1347

JOURNALS // Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki // Archive

Zh. Vychisl. Mat. Mat. Fiz., 1980 Volume 20, Number 5, Pages 1347–1350 (Mi zvmmf5165)

Scientific communications

Models of sets of sequences and program verification

S. A. Abramov

Moscow

UDC: 519.681

MSC: 68Q60

Received: 07.02.1980

Fulltext: PDF file (575 kB)

English version: USSR Computational Mathematics and Mathematical Physics, 1980, 20:5, 258–262

Bibliographic databases: