HARVARD
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.pp
