1999

1. Measurement and prediction of the verification cost of the design in a formalized methodology

   Information and Software Technology, Vol. 41, Núm. 7, pp. 421-434