| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 2011 ACM Symposium on Applied Computing |
| Pages | 907-912 |
| Number of pages | 6 |
| Volume | 2011 |
| DOIs | |
| Publication status | Published - 2011 |
Projects
- 1 Finished
-
A Constraint Solver Synthesiser: A Constraint Solver Synthesiser
Miguel, I. (PI), Balasubramaniam, D. (CoI), Gent, I. (CoI), Kelsey, T. (CoI) & Linton, S. (CoI)
1/10/09 → 30/09/14
Project: Standard
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver