Download bibtex
[AkgunThesis] Özgür Akgün Extensible Automated Constraint Modelling via Refinement of Abstract Problem Specifications Ph.D. thesis, University of St Andrews, UK 2014