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