Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor

  • Hans-Jörg Kreowski
  • Fernando Orejas
  • Hartmut Ehrig

Resumen

Sin resumen

Descargas

Los datos de descargas todavía no están disponibles.

Descarga artículo

Crossmark

Métricas

Publicado
1997-01-01
Cómo citar
Kreowski H.-J., Orejas F. y Ehrig H. (1997). Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor. Revista Matemática Complutense, 10(2), 365. https://doi.org/10.5209/rev_REMA.1997.v10.n2.17446
Sección
Artículos