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*, 10(2), 3-19.