Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 20 (1980) no. 5, pp. 1347-1350
Citer cet article
S. A. Abramov. Models of sets of sequences and program verification. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 20 (1980) no. 5, pp. 1347-1350. http://geodesic.mathdoc.fr/item/ZVMMF_1980_20_5_a20/
@article{ZVMMF_1980_20_5_a20,
author = {S. A. Abramov},
title = {Models of sets of sequences and program verification},
journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
pages = {1347--1350},
year = {1980},
volume = {20},
number = {5},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZVMMF_1980_20_5_a20/}
}
TY - JOUR
AU - S. A. Abramov
TI - Models of sets of sequences and program verification
JO - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY - 1980
SP - 1347
EP - 1350
VL - 20
IS - 5
UR - http://geodesic.mathdoc.fr/item/ZVMMF_1980_20_5_a20/
LA - ru
ID - ZVMMF_1980_20_5_a20
ER -
%0 Journal Article
%A S. A. Abramov
%T Models of sets of sequences and program verification
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1980
%P 1347-1350
%V 20
%N 5
%U http://geodesic.mathdoc.fr/item/ZVMMF_1980_20_5_a20/
%G ru
%F ZVMMF_1980_20_5_a20
