ARIFS: An environment for incomplete and formal specifications reuse

  1. Redondo, R.P.D.
  2. Arias, J.J.P.
  3. Vilas, A.F.
  4. Martínez, B.B.
Zeitschrift:
Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Datum der Publikation: 2002

Ausgabe: 66

Nummer: 4

Seiten: 16-35

Art: Konferenz-Beitrag

DOI: 10.1016/S1571-0661(04)80447-X GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus