Geodesic
Calculation of preconditions of programs
Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 24 (1984) no. 4, pp. 566-578

Voir la notice de l'article provenant de la source Math-Net.Ru

@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},
     publisher = {mathdoc},
     volume = {24},
     number = {4},
     year = {1984},
     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
PB  - mathdoc
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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_1984_24_4_a8/
%G ru
%F ZVMMF_1984_24_4_a8
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/