Enforcing QVT-R with mu-Calculus and Games.

Julian C. Bradfield, Perdita Stevens

Browse the full FASE paper archive.