Geodesic
Specification languages for user-oriented problems
Sibirskij žurnal industrialʹnoj matematiki, Tome 5 (2002) no. 2, pp. 148-159

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

@article{SJIM_2002_5_2_a11,
     author = {A. A. Moskvitin},
     title = {Specification languages for user-oriented problems},
     journal = {Sibirskij \v{z}urnal industrialʹnoj matematiki},
     pages = {148--159},
     publisher = {mathdoc},
     volume = {5},
     number = {2},
     year = {2002},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SJIM_2002_5_2_a11/}
}
TY  - JOUR
AU  - A. A. Moskvitin
TI  - Specification languages for user-oriented problems
JO  - Sibirskij žurnal industrialʹnoj matematiki
PY  - 2002
SP  - 148
EP  - 159
VL  - 5
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SJIM_2002_5_2_a11/
LA  - ru
ID  - SJIM_2002_5_2_a11
ER  - 
%0 Journal Article
%A A. A. Moskvitin
%T Specification languages for user-oriented problems
%J Sibirskij žurnal industrialʹnoj matematiki
%D 2002
%P 148-159
%V 5
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SJIM_2002_5_2_a11/
%G ru
%F SJIM_2002_5_2_a11
A. A. Moskvitin. Specification languages for user-oriented problems. Sibirskij žurnal industrialʹnoj matematiki, Tome 5 (2002) no. 2, pp. 148-159. http://geodesic.mathdoc.fr/item/SJIM_2002_5_2_a11/