Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus.

Julian C. Bradfield, Perdita Stevens

Browse the full FASE paper archive.