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 de conférence:
Proceedings - International Conference on Software Engineering

ISSN: 0270-5257

ISBN: 0-7695-1050-7

Année de publication: 2001

Pages: 801-802

Type: Communication dans un congrès

DOI: 10.1109/ICSE.2001.919185 GOOGLE SCHOLAR
La source de données: Scopus