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), pp. 3-19. doi: