Logic Foundations of the OCL Modelling Language.

Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente

Browse the full JELIA paper archive.