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.
Aktak:
Proceedings - International Conference on Software Engineering

ISSN: 0270-5257

ISBN: 0-7695-1050-7

Argitalpen urtea: 2001

Orrialdeak: 801-802

Mota: Biltzar ekarpena

DOI: 10.1109/ICSE.2001.919185 GOOGLE SCHOLAR
Datuen iturria: Scopus