VANCOUVER
Banki,H.,Ahmadi Sabet,V..
Determination of Formal Methods Capabilities for Software Specification and Analysis
.Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran
, 2012
;2
()
:3-19.
