Reuse of verification efforts and incomplete specifications in a formalized, iterative and incremental software process

  1. Díaz Redondo, R.P.
  2. Pazos Arias, J.J.
Actas:
Proceedings - International Conference on Software Engineering

ISSN: 0270-5257

ISBN: 0-7695-1050-7

Ano de publicación: 2001

Páxinas: 801-802

Tipo: Achega congreso

DOI: 10.1109/ICSE.2001.919185 GOOGLE SCHOLAR
Fonte de datos: Scopus