Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 24 (1984) no. 4, pp. 566-578
Citer cet article
S. A. Abramov. Calculation of preconditions of programs. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 24 (1984) no. 4, pp. 566-578. http://geodesic.mathdoc.fr/item/ZVMMF_1984_24_4_a8/
@article{ZVMMF_1984_24_4_a8,
author = {S. A. Abramov},
title = {Calculation of preconditions of programs},
journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
pages = {566--578},
year = {1984},
volume = {24},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZVMMF_1984_24_4_a8/}
}
TY - JOUR
AU - S. A. Abramov
TI - Calculation of preconditions of programs
JO - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
PY - 1984
SP - 566
EP - 578
VL - 24
IS - 4
UR - http://geodesic.mathdoc.fr/item/ZVMMF_1984_24_4_a8/
LA - ru
ID - ZVMMF_1984_24_4_a8
ER -
%0 Journal Article
%A S. A. Abramov
%T Calculation of preconditions of programs
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1984
%P 566-578
%V 24
%N 4
%U http://geodesic.mathdoc.fr/item/ZVMMF_1984_24_4_a8/
%G ru
%F ZVMMF_1984_24_4_a8
