On proofs of correctness of well-structured programs. II
Matematički Vesnik (1977)
- Volume: 14(29), Issue: 63, page 263-270
- ISSN: 0025-5165
Access Full Article
top
How to cite
topS. Alagić. "On proofs of correctness of well-structured programs. II." Matematički Vesnik 14(29).63 (1977): 263-270. <http://eudml.org/doc/260209>.
@article{S1977,
author = {S. Alagić},
journal = {Matematički Vesnik},
language = {eng},
number = {63},
pages = {263-270},
publisher = {Društvo matematičara Srbije},
title = {On proofs of correctness of well-structured programs. II},
url = {http://eudml.org/doc/260209},
volume = {14(29)},
year = {1977},
}
TY - JOUR
AU - S. Alagić
TI - On proofs of correctness of well-structured programs. II
JO - Matematički Vesnik
PY - 1977
PB - Društvo matematičara Srbije
VL - 14(29)
IS - 63
SP - 263
EP - 270
LA - eng
UR - http://eudml.org/doc/260209
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.