TY - JOUR T1 - Role of verification in the software specification process JF - Advances in computers Y1 - 1993 A1 - Zelkowitz, Marvin V VL - 36 ER -