Projects per year
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Eighth International Symposium on Abstraction, Reformulation and Approximation |
| Publisher | AAAI Press |
| Pages | 128-135 |
| 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. (PI) & Gent, I. (CoI)
27/09/06 → 26/09/09
Project: Standard