On proofs of correctness of well-structured programs
Matematički Vesnik (1977)
- Volume: 14(29), Issue: 63, page 251-262
- ISSN: 0025-5165
Access Full Article
top
How to cite
topS. Alagić. "On proofs of correctness of well-structured programs." Matematički Vesnik 14(29).63 (1977): 251-262. <http://eudml.org/doc/260288>.
@article{S1977,
author = {S. Alagić},
journal = {Matematički Vesnik},
language = {eng},
number = {63},
pages = {251-262},
publisher = {Društvo matematičara Srbije},
title = {On proofs of correctness of well-structured programs},
url = {http://eudml.org/doc/260288},
volume = {14(29)},
year = {1977},
}
TY - JOUR
AU - S. Alagić
TI - On proofs of correctness of well-structured programs
JO - Matematički Vesnik
PY - 1977
PB - Društvo matematičara Srbije
VL - 14(29)
IS - 63
SP - 251
EP - 262
LA - eng
UR - http://eudml.org/doc/260288
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.