Publication

An OCL Semantics Specified with QVT