Resolution Methods in Proving the Program Correctness

@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 -