%0 Journal Article
%A Banki, H., Ahmadi Sabet, V.
%T Determination of Formal Methods Capabilities for Software Specification and Analysis
%J Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran
%V 10
%N 2
%P 3-19
%D 2012
%R 
%U https://rimag.ir/fa/Article/28028