Resolution Methods in Proving the Program Correctness
Branko Markoski; Petar Hotomski; Dušan Malbaški; Danilo Obradović
The Yugoslav Journal of Operations Research (2007)
- Volume: 17, Issue: 34, page 275-285
- ISSN: 0354-0243
Access Full Article
top
How to cite
topBranko Markoski, et al. "Resolution Methods in Proving the Program Correctness." The Yugoslav Journal of Operations Research 17.34 (2007): 275-285. <http://eudml.org/doc/261826>.
@article{BrankoMarkoski2007,
author = {Branko Markoski, Petar Hotomski, Dušan Malbaški, Danilo Obradović},
journal = {The Yugoslav Journal of Operations Research},
keywords = {specification; verification},
language = {eng},
number = {34},
pages = {275-285},
publisher = {Faculty of Organizational Sciences},
title = {Resolution Methods in Proving the Program Correctness},
url = {http://eudml.org/doc/261826},
volume = {17},
year = {2007},
}
TY - JOUR
AU - Branko Markoski
AU - Petar Hotomski
AU - Dušan Malbaški
AU - Danilo Obradović
TI - Resolution Methods in Proving the Program Correctness
JO - The Yugoslav Journal of Operations Research
PY - 2007
PB - Faculty of Organizational Sciences
VL - 17
IS - 34
SP - 275
EP - 285
LA - eng
KW - specification; verification
UR - http://eudml.org/doc/261826
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.