A simple game-theoretic approach to checkonly QVT Relations

Perdita Stevens. A simple game-theoretic approach to checkonly QVT Relations. Software and Systems Modeling, 12(1):175-199, 2013. [doi]

Abstract

Abstract is missing.