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.
Revista:
Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Año de publicación: 2002

Volumen: 66

Número: 4

Páginas: 16-35

Tipo: Aportación congreso

DOI: 10.1016/S1571-0661(04)80447-X GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus