On Implementations of Loose Abstract Data Type Specifications and Their Vertical Composition.

Christoph Beierle, Angi Vo

Browse the full STACS paper archive.