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

ISSN: 1571-0661

Year of publication: 2002

Volume: 66

Issue: 4

Pages: 16-35

Type: Conference paper

DOI: 10.1016/S1571-0661(04)80447-X GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus