Geodesic
On proofs of correctness of well-structured programs. II
Matematički vesnik, Tome 29 (1977) no. 1, p. 263

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Classification : 68N17 
S. Alagić. On proofs of correctness of  well-structured programs. II. Matematički vesnik, Tome 29 (1977) no. 1, p. 263 . http://geodesic.mathdoc.fr/item/MV_1977_29_1_a29/
@article{MV_1977_29_1_a29,
     author = {S. Alagi\'c},
     title = {On proofs of correctness of  well-structured programs. {II}},
     journal = {Matemati\v{c}ki vesnik},
     pages = {263 },
     year = {1977},
     volume = {29},
     number = {1},
     url = {http://geodesic.mathdoc.fr/item/MV_1977_29_1_a29/}
}
TY  - JOUR
AU  - S. Alagić
TI  - On proofs of correctness of  well-structured programs. II
JO  - Matematički vesnik
PY  - 1977
SP  - 263 
VL  - 29
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/MV_1977_29_1_a29/
ID  - MV_1977_29_1_a29
ER  - 
%0 Journal Article
%A S. Alagić
%T On proofs of correctness of  well-structured programs. II
%J Matematički vesnik
%D 1977
%P 263 
%V 29
%N 1
%U http://geodesic.mathdoc.fr/item/MV_1977_29_1_a29/
%F MV_1977_29_1_a29