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