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

  1. Fernández, L.
  2. Dolado, J.J.
Revista:
Information and Software Technology

ISSN: 0950-5849

Año de publicación: 1999

Volumen: 41

Número: 7

Páginas: 421-434

Tipo: Artículo

DOI: 10.1016/S0950-5849(99)00010-5 GOOGLE SCHOLAR