Login / Signup

A categorical framework for the transformation of object-oriented systems: Models and data.

Christoph SchulzMichael LöweHarald König
Published in: J. Symb. Comput. (2011)
Keyphrases