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

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

Abstract

Sin resumen

Downloads

Download data is not yet available.

Crossmark

Metrics

Published
1997-01-01
How to Cite
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
Section
Articles