On the correctness of modular systems

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

ISSN: 0304-3975

Año de publicación: 1995

Volumen: 140

Número: 1

Páginas: 139-177

Tipo: Artículo

DOI: 10.1016/0304-3975(94)00207-Y GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus