%0 Journal Article
%A Milena Vujošević-Janičić
%A Filip Marić
%A Dušan Tošić
%T Using Simplex Method in Verifying Software Safety
%J Yugoslav journal of operations research
%D 2009
%P 133 
%V 19
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/YJOR_2009_19_1_a9/
%G en
%F YJOR_2009_19_1_a9