Projects per year
Original language | English |
---|---|
Title of host publication | Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation |
Editors | Vadim Bulitko, Chris Beck |
Publisher | AAAI Press |
Pages | 120-127 |
Number of pages | 7 |
ISBN (Print) | 978-1-57735-433-8 |
Publication status | Published - 2009 |
Projects
- 1 Finished
-
EPSRC Refinement-driven Transformation: Refinement-driven transformation for effective automatedconstraint modelling
Miguel, I. J. (PI) & Gent, I. P. (CoI)
27/09/06 → 26/09/09
Project: Standard