@article {18424, title = {Role of verification in the software specification process}, journal = {Advances in computers}, volume = {36}, year = {1993}, month = {1993///}, pages = {43 - 109}, author = {Zelkowitz, Marvin V} }