%0 Journal Article
%A Vojislav B. Mišić
%A Dušan M. Velašević
%T Formal Specifications in Software Development: an Overview
%J Yugoslav journal of operations research
%D 1997
%P 79 
%V 7
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/YJOR_1997_7_1_a6/
%G en
%F YJOR_1997_7_1_a6