An Algebra for Abstract Interfaces

P. Höfner, B. Möller

2010-02

in: Universität Augsburg Technical Report, Institute of Computer Science, University of Augsburg, April 2010

Abstract: