Browsing "Computer Science publications" by Author Groves, L.
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2004 | Developing logic programs from specifications using stepwise refinement | Colvin, R.; Groves, L.; Hayes, I.; Hemer, D.; Nickson, R.; Strooper, P.; Bruynooghe, M.; Lau, K. |