TY  - JOUR
AU  - Banki, H.
AU  - Ahmadi Sabet, V.
TI  - Determination of Formal Methods Capabilities for Software Specification and Analysis
JO  - Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran
VL  - 10
IS  - 2
SP  - 3
EP  - 19
PY  - 2012
DO  - 
ER  -