Towards complete consistency checks of Clafer models.

Markus Weckesser, Malte Lochau, Michael Ries, Andy Schrr

Browse the full OOPSLA paper archive.