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

ISSN: 0270-5257

ISBN: 0-7695-1050-7

Any de publicació: 2001

Pàgines: 801-802

Tipus: Aportació congrés

DOI: 10.1109/ICSE.2001.919185 GOOGLE SCHOLAR