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

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