%0 Journal Article
%A Branko Markoski
%A Petar Hotomski
%A Dušan Malbaški
%A Danilo Obradović
%T Resolution Methods in Proving the Program Correctness
%J Yugoslav journal of operations research
%D 2007
%P 275 
%V 17
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/YJOR_2007_17_2_a9/
%G en
%F YJOR_2007_17_2_a9