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;10(2):3-19.