Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas. Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. Bulletin of the EATCS, 56, 1995.
No references recorded for this publication.
No citations of this publication recorded.