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

Ano de publicación: 2002

Volume: 66

Número: 4

Páxinas: 16-35

Tipo: Achega congreso

DOI: 10.1016/S1571-0661(04)80447-X GOOGLE SCHOLAR lock_openAcceso aberto editor
Fonte de datos: Scopus