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  - Yugoslav journal of operations research
PY  - 2007
SP  - 275 
VL  - 17
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/YJOR_2007_17_2_a9/
LA  - en
ID  - YJOR_2007_17_2_a9
ER  -