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

ISSN: 0270-5257

ISBN: 0-7695-1050-7

Datum der Publikation: 2001

Seiten: 801-802

Art: Konferenz-Beitrag

DOI: 10.1109/ICSE.2001.919185 GOOGLE SCHOLAR
Datenquelle: Scopus