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