Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness
Branko Markoski; Petar Hotomski; Dušan Malbaški; Danilo Obradović
The Yugoslav Journal of Operations Research (2010)
- Volume: 20, Issue: 40, page 229-236
- ISSN: 0354-0243
Access Full Article
topHow to cite
topBranko Markoski, et al. "Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness." The Yugoslav Journal of Operations Research 20.40 (2010): 229-236. <http://eudml.org/doc/261491>.
@article{BrankoMarkoski2010,
author = {Branko Markoski, Petar Hotomski, Dušan Malbaški, Danilo Obradović},
journal = {The Yugoslav Journal of Operations Research},
keywords = {denotational interpretation},
language = {eng},
number = {40},
pages = {229-236},
publisher = {Faculty of Organizational Sciences},
title = {Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness},
url = {http://eudml.org/doc/261491},
volume = {20},
year = {2010},
}
TY - JOUR
AU - Branko Markoski
AU - Petar Hotomski
AU - Dušan Malbaški
AU - Danilo Obradović
TI - Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness
JO - The Yugoslav Journal of Operations Research
PY - 2010
PB - Faculty of Organizational Sciences
VL - 20
IS - 40
SP - 229
EP - 236
LA - eng
KW - denotational interpretation
UR - http://eudml.org/doc/261491
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.