On the correctness of modular systems

  1. Navarro, M.
  2. Orejas, F.
  3. Sánchez, A.
Revue:
Theoretical Computer Science

ISSN: 0304-3975

Année de publication: 1995

Volumen: 140

Número: 1

Pages: 139-177

Type: Article

DOI: 10.1016/0304-3975(94)00207-Y GOOGLE SCHOLAR lock_openAccès ouvert editor
La source de données: Scopus