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

Luis Fernández, José Javier Dolado. Measurement and prediction of the verification cost of the design in a formalized methodology. Information \& Software Technology, 41(7):421-434, 1999. [doi]

Abstract

Abstract is missing.