FN ISI Export Format
VR 1.0
PT C
AU H. Banki,V. Ahmadi Sabet
TI Determination of Formal Methods Capabilities for Software Specification and Analysis
PY 2012
