%0 Journal Article
%A Branko Markoski
%A Petar Hotomski
%A Dušan Malbaški
%A Danilo Obradović
%T Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness
%J Yugoslav journal of operations research
%D 2010
%P 229 
%V 20
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/YJOR_2010_20_2_a3/
%G en
%F YJOR_2010_20_2_a3