Identification and Optimisation of Type-Level Model Queries.

Qurat ul ain Ali, Dimitris S. Kolovos, Konstantinos Barmpis

Browse the full MODELS paper archive.