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

• Autores: Hartmut Ehrig, Fernando Orejas Valdés , Hans-Jörg Kreowski
• Localización: Revista matemática de la Universidad Complutense de Madrid, ISSN 0214-3577, Vol. 10, Nº 2, 1997, págs. 365-390
• Idioma: inglés
• Enlaces
  • Texto completo