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

Any de publicació: 2002

Volum: 66

Número: 4

Pàgines: 16-35

Tipus: Aportació congrés

DOI: 10.1016/S1571-0661(04)80447-X GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus